diff options
Diffstat (limited to 'otherlibs/labltk/compiler/compile.ml')
| -rw-r--r-- | otherlibs/labltk/compiler/compile.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/otherlibs/labltk/compiler/compile.ml b/otherlibs/labltk/compiler/compile.ml index 914fdbf8b..e20a666a7 100644 --- a/otherlibs/labltk/compiler/compile.ml +++ b/otherlibs/labltk/compiler/compile.ml @@ -464,7 +464,6 @@ let rec converterCAMLtoTK ~context_widget argname ty = ["]"]) | Function _ -> fatal_error "unexpected function type in converterCAMLtoTK" | Unit -> fatal_error "unexpected unit type in converterCAMLtoTK" - | Product _ -> fatal_error "unexpected product type in converterCAMLtoTK" | Record _ -> fatal_error "unexpected product type in converterCAMLtoTK" | List ty -> fatal_error "unexpected list type in converterCAMLtoTK" |