]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/eval.ml
intersect improved in speed
[helm.git] / helm / ocaml / mathql_interpreter / eval.ml
index c36b92fd2bedc004bd3b3cfba9d9ac38f4ed2c06..4bc9a88db942c10b00f28f2bdf7737fa5efa4565 100644 (file)
@@ -39,9 +39,9 @@ let rec patterneval p =
     let h = match head with
                MQString (s) -> Str.global_replace (Str.regexp "\.") "\\\\\." s
             |  MQSlash -> "/"
-            |  MQAnyChr -> "[^/]?"
-            |  MQAst -> "[^/]*"
-            |  MQAstAst -> ".*"
+            |  MQAnyChr -> "[^/#]?"
+            |  MQAst -> "[^/#]*"
+            |  MQAstAst -> "[^#]*"
     in
      h ^ (patterneval tail)
 ;;