From c0500a16891e57b2856e47a3c233cd0c1d247a70 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Tue, 11 Dec 2018 01:12:50 +0000
Subject: Fix most remaining tests on branch

---
 lib/flow.sail | 14 --------------
 1 file changed, 14 deletions(-)

(limited to 'lib')

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
-- 
cgit v1.2.3