From 115b3d9f3d295fd00fd0cd76f1e7d32f76dda8e8 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 26 Nov 2002 17:30:51 +0000
Subject: [PATCH] lexer patched

---
 helm/ocaml/mathql/mQueryTLexer.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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    }
-- 
2.39.2