diff options
Diffstat (limited to 'otherlibs/labltk/compiler/tables.ml')
| -rw-r--r-- | otherlibs/labltk/compiler/tables.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/compiler/tables.ml b/otherlibs/labltk/compiler/tables.ml index efa0b9ac5..b93181048 100644 --- a/otherlibs/labltk/compiler/tables.ml +++ b/otherlibs/labltk/compiler/tables.ml @@ -283,7 +283,7 @@ let rec find_constructor cname = function else find_constructor cname l (* Enter a type, must not be previously defined *) -let enter_type typname ?:variant[=false] arity constructors = +let enter_type typname ?(:variant = false) arity constructors = try Hashtbl.find types_table key:typname; raise (Duplicate_Definition ("type", typname)) |