From 8fc2509f354b02ec4e0a3eb6fabc329109686c47 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Wed, 5 Mar 2014 16:50:04 +0100
Subject: Remove some dead-code (thanks to ocaml warnings)

 The removed code isn't used locally and isn't exported in the signature
---
 plugins/nsatz/polynom.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'plugins/nsatz')

diff --git a/plugins/nsatz/polynom.ml b/plugins/nsatz/polynom.ml
index 78883a660..8566cf0d6 100644
--- a/plugins/nsatz/polynom.ml
+++ b/plugins/nsatz/polynom.ml
@@ -163,8 +163,6 @@ let max_var l = Array.fold_right (fun p m -> max (max_var_pol2 p) m) l 0
 
 (* equality between polynomials *)
 
-exception Failed
-
 let rec equal p q =
   match (p,q) with
       (Pint a,Pint b) -> C.equal a b
-- 
cgit v1.2.3