From 697c1c0cd3815eee72b3eedb874fe0e044a69432 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Mon, 15 Oct 2012 17:11:14 +1100
Subject: Some bug fixes for the solver.

Still doesn't work in clang, though.
---
 impl/systems/1 | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'impl/systems/1')

diff --git a/impl/systems/1 b/impl/systems/1
index e69de29..5ec1559 100644
--- a/impl/systems/1
+++ b/impl/systems/1
@@ -0,0 +1,2 @@
+x = max(-inf, (max(0, min(-inf, y))))
+y = x - 1
-- 
cgit v1.2.3