Fix most remaining tests on branch

1 files changed, 0 insertions, 14 deletions

diff --git a/lib/flow.sail b/lib/flow.sail
index b9653828..5c182af2 100644
--- a/lib/flow.sail
+++ b/lib/flow.sail
@@ -44,18 +44,4 @@ overload operator < = {lt_int}
 overload operator >= = {gteq_int}
 overload operator > = {gt_int}
 
-$ifdef TEST
-
-val __flow_test : forall 'n 'm. (atom('n), atom('m)) -> unit
-
-function __flow_test (x, y) = {
-  if lteq_atom(x, y) then {
-    _prove(constraint('n <= 'm))
-  } else {
-    _prove(constraint('n > 'm))
-  }
-}
-
-$endif
-
 $endif