diff options
Diffstat (limited to 'testasmcomp/lexcmm.mli')
| -rw-r--r-- | testasmcomp/lexcmm.mli | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/testasmcomp/lexcmm.mli b/testasmcomp/lexcmm.mli deleted file mode 100644 index a28a57c520..0000000000 --- a/testasmcomp/lexcmm.mli +++ /dev/null @@ -1,24 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -val token: Lexing.lexbuf -> Parsecmm.token - -type error = - Illegal_character - | Unterminated_comment - | Unterminated_string - -exception Error of error - -val report_error: Lexing.lexbuf -> error -> unit |