From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 26 Nov 2002 17:30:51 +0000 (+0000)
Subject: lexer patched
X-Git-Tag: V_0_0_6~51
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=115b3d9f3d295fd00fd0cd76f1e7d32f76dda8e8;p=helm.git

lexer patched
---

diff --git a/helm/ocaml/mathql/mQueryTLexer.mll b/helm/ocaml/mathql/mQueryTLexer.mll
index 60c561fb5..9cc22c2dc 100644
--- a/helm/ocaml/mathql/mQueryTLexer.mll
+++ b/helm/ocaml/mathql/mQueryTLexer.mll
@@ -87,7 +87,7 @@ and query_token = parse
    | "not"       { out "NOT"   ; NOT    }
    | "or"        { out "OR"    ; OR     }
    | "pattern"   { out "PAT"   ; PAT    }
-   | "ptoperty"  { out "PROP"  ; PROP   }
+   | "property"  { out "PROP"  ; PROP   }
    | "ref"       { out "REF"   ; REF    }
    | "refof"     { out "REFOF" ; REFOF  }
    | "relation"  { out "REL"   ; REL    }