X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Feval.ml;fp=helm%2Focaml%2Fmathql_interpreter%2Feval.ml;h=4bc9a88db942c10b00f28f2bdf7737fa5efa4565;hb=9b23e4b3a2862c73d0b61c96cd68562dac3bf7f6;hp=c36b92fd2bedc004bd3b3cfba9d9ac38f4ed2c06;hpb=5a3c6e3eb8f8ed08152c43671ff21a04cbc57dac;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/eval.ml b/helm/ocaml/mathql_interpreter/eval.ml
index c36b92fd2..4bc9a88db 100644
--- a/helm/ocaml/mathql_interpreter/eval.ml
+++ b/helm/ocaml/mathql_interpreter/eval.ml
@@ -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)
 ;;