* Undo fixed.

[helm.git] / helm / matita / matitaScript.ml

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index d4f7d5e008009da3a70f671ca15be7b707c3528f..49c3046b8eafeeaf74d0ccaa89635ac1df1289d4 100644 (file)
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -131,7 +131,7 @@ let eval_with_engine guistuff status user_goal parsed_text st =
         let b = 
           try
             let v = UM.strip_xpointer (UM.uri_of_string v) in
-            List.exists (fun (s,_) -> s = v) new_status.objects 
+            List.mem v new_status.objects 
           with UM.IllFormedUri _ -> false
         in
         if b then