source: CIVL/examples/library/foo/foo.h@ d1cfebe

1.23 2.0 main test-branch
Last change on this file since d1cfebe was 2f2a996, checked in by Manchun Zheng <zmanchun@…>, 10 years ago

cleaned up the usage of SEQUENCE operator of symbolic expressions according to the new change in SARL, which affects the all arrays and tuples.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@3021 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 25 bytes
Line 
1
2
3$system int foo(void);
Note: See TracBrowser for help on using the repository browser.