From c02babd136e35568708574b9947c5d5f79f54b7c Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Mon, 21 Nov 2011 09:42:44 +0000 Subject: [PATCH] Assert false removed (in line with the variable case). --- matita/components/ng_paramodulation/index.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.39.2