diff options
| author | Dana N. Xu <na.xu@inria.fr> | 2011-03-21 16:16:11 +0000 |
|---|---|---|
| committer | Dana N. Xu <na.xu@inria.fr> | 2011-03-21 16:16:11 +0000 |
| commit | 21b899f6267b5e91fc6e6767fb250268b003cb1c (patch) | |
| tree | 7f8d376c9fc7a861ef4c135fb35cb113d13d6ad6 | |
| parent | 735520645b0081b7423b4c7ca664404558dbd634 (diff) | |
| download | ocaml-21b899f6267b5e91fc6e6767fb250268b003cb1c.tar.gz | |
local contracts
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11002 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | parsing/lexer.mll | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/parsing/lexer.mll b/parsing/lexer.mll index 5dd0250983..afe973e429 100644 --- a/parsing/lexer.mll +++ b/parsing/lexer.mll @@ -41,7 +41,8 @@ let keyword_table = "begin", BEGIN; "class", CLASS; "constraint", CONSTRAINT; - "contract", CONTRACT; + "contract", CONTRACT; + "sat", SAT; "do", DO; "done", DONE; "downto", DOWNTO; |