From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 21 Nov 2011 09:42:44 +0000 (+0000)
Subject: Assert false removed (in line with the variable case).
X-Git-Tag: make_still_working~2075
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c02babd136e35568708574b9947c5d5f79f54b7c;p=helm.git

Assert false removed (in line with the variable case).
---

diff --git a/matita/components/ng_paramodulation/index.ml b/matita/components/ng_paramodulation/index.ml
index 36c9dd75e..49af5e089 100644
--- a/matita/components/ng_paramodulation/index.ml
+++ b/matita/components/ng_paramodulation/index.ml
@@ -49,7 +49,8 @@ module Index(B : Orderings.Blob) = struct
           | Terms.Node (Terms.Var _::_) ->
 	      assert false *)
           | Terms.Node ([] | [ _ ] ) -> assert false
-          | Terms.Node (Terms.Node _::_) -> assert false	      
+          (* FIXME : if we can have a variable we can also have a term 
+            | Terms.Node (Terms.Node _::_) as t -> assert false	 *)      
           | Terms.Node (hd::tl) ->
               aux (List.length tl) hd @ List.flatten (List.map (aux 0) tl) 
         in