From 7509f5c8eab84fda5a9029329c6b70758259765f Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Wed, 17 May 2017 13:39:59 +0200
Subject: ROmega : merge O_CONSTANT* into a single O_BAD_CONSTANT

---
 plugins/omega/omega.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'plugins/omega')

diff --git a/plugins/omega/omega.ml b/plugins/omega/omega.ml
index 334b03de1..f655c176f 100644
--- a/plugins/omega/omega.ml
+++ b/plugins/omega/omega.ml
@@ -587,10 +587,6 @@ let rec depend relie_on accu = function
       end
   | [] -> relie_on, accu
 
-let solve (new_eq_id,new_eq_var,print_var) system =
-  try let _ = simplify new_eq_id false system in failwith "no contradiction"
-  with UNSOLVABLE -> display_action print_var (snd (depend [] [] (history ())))
-
 let negation (eqs,ineqs) =
   let diseq,_ = List.partition (fun e -> e.kind = DISE) ineqs in
   let normal = function
-- 
cgit v1.2.3