diff options
Diffstat (limited to 'omega/examples/old_test/foo6')
| -rw-r--r-- | omega/examples/old_test/foo6 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/omega/examples/old_test/foo6 b/omega/examples/old_test/foo6 deleted file mode 100644 index 0b702cd..0000000 --- a/omega/examples/old_test/foo6 +++ /dev/null @@ -1 +0,0 @@ -approximate {[i,j] : exists (a,b : a,b >= 0 && i = -201a-3b && j = 103a+200b)}; |