Author: Ralf Treinen <treinen@debian.org>
Description: Fix test case for version 0.4

Index: ocplib-simplex/tests/standalone_minimal.ml
===================================================================
--- ocplib-simplex.orig/tests/standalone_minimal.ml	2017-11-15 07:50:44.069906520 +0100
+++ ocplib-simplex/tests/standalone_minimal.ml	2017-11-15 07:50:25.621818968 +0100
@@ -66,13 +66,13 @@
   let sim = Sim.Assert.var sim "x" zero (Ex.singleton "x>=0") None Ex.empty in
 
   (* y >= 0 *)
-  let sim = Sim.Assert.var sim "y" zero (Ex.singleton "y>=0") None Ex.empty in
+  let sim = Sim.Assert.var (fst sim) "y" zero (Ex.singleton "y>=0") None Ex.empty in
   let x_y = Sim.Core.P.from_list ["x", Rat.one; "y", Rat.one] in
 
   (* z == x + y <= -1 *)
   let sim =
-    Sim.Assert.poly sim x_y "z" None Ex.empty m_one (Ex.singleton "x+y<=-1") in
-  let sim = Sim.Solve.solve sim in
+    Sim.Assert.poly (fst sim) x_y "z" None Ex.empty m_one (Ex.singleton "x+y<=-1") in
+  let sim = Sim.Solve.solve (fst sim) in
   match Sim.Result.get None sim with
   | Sim.Core.Unknown     -> assert false
   | Sim.Core.Sat _       -> assert false
