source: tests/.expect/forall.txt @ 5c473c9

ADTast-experimental
Last change on this file since 5c473c9 was 39d9b32, checked in by Andrew Beach <ajbeach@…>, 2 years ago

Adjusted line number in forall test.

  • Property mode set to 100644
File size: 37 bytes
Line 
1forall.cfa:244:25: warning: Compiled
Note: See TracBrowser for help on using the repository browser.