diff options
Diffstat (limited to 'lex/cset.ml')
| -rw-r--r-- | lex/cset.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lex/cset.ml b/lex/cset.ml index 84c2a77142..ec68ee1c8b 100644 --- a/lex/cset.ml +++ b/lex/cset.ml @@ -11,6 +11,11 @@ (* *) (***********************************************************************) +(* $Id$ *) + + +exception Bad + type t = (int * int) list |