diff options
Diffstat (limited to 'omegalib/examples/old_test/p11')
| -rw-r--r-- | omegalib/examples/old_test/p11 | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/omegalib/examples/old_test/p11 b/omegalib/examples/old_test/p11 deleted file mode 100644 index 1871c82..0000000 --- a/omegalib/examples/old_test/p11 +++ /dev/null @@ -1,10 +0,0 @@ -{[i] : 1 <= i <= 10 - && ! i = 3 - && ! i = 2 - && ! i = 4 - && ! i = 7 - && ! i = 6 - && ! i = 8 -}; - - |