From 74be6cdc9f9a90c50d7c5ea5b5d294cbc926d15f Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Sun, 31 Jan 2016 14:33:51 +0100
Subject: [PATCH] Changed timeout message in binary

---
 main.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/main.ml b/main.ml
index f5061db9..deb7b1ee 100644
--- a/main.ml
+++ b/main.ml
@@ -271,8 +271,8 @@ let () =
     print "Internal error : incorrect *sat* model";
     exit 4
   | Out_of_time ->
-    print "Time limit exceeded";
+    print "Timeout";
     exit 2
   | Out_of_space ->
-    print "Size limit exceeded";
+    print "Spaceout";
     exit 3