- ground_2: support for relocation updated

[helm.git] / matita / components / binaries / matex / anticipate.ml

diff --git a/matita/components/binaries/matex/anticipate.ml b/matita/components/binaries/matex/anticipate.ml
index 1081dffccfddb074a2d82addee90c222d743f1fb..47fc2cae11a9f1cdf398f35930457e6f95c16f4e 100644 (file)
--- a/matita/components/binaries/matex/anticipate.ml
+++ b/matita/components/binaries/matex/anticipate.ml
@@ -121,7 +121,6 @@ try
 with
    | T.TypeCheckerFailure s
    | T.AssertFailure s           -> malformed (Lazy.force s)
-   | Invalid_argument "List.nth" -> malformed "4" (* to be removed *)
 
 let proc_fun c =
    let r, s, i, u, t = c in