diff --git a/Typecheck2.ml b/Typecheck2.ml
index 3edc1b66b..726775164 100644
--- a/Typecheck2.ml
+++ b/Typecheck2.ml
@@ -68,7 +68,7 @@ module O = struct
 
   and operator_case =
     Function    of var_name
-  | Construcor  of var_name
+  | Constructor of var_name
   | UpdateField of field_name
   | GetField    of field_name
   | Or | And | Lt | Leq | Gt | Geq | Equal | Neq | Cat | Cons | Add | Sub | Mult | Div | Mod
diff --git a/Typecheck2.mli b/Typecheck2.mli
index a85ddba8b..6da40fa1e 100644
--- a/Typecheck2.mli
+++ b/Typecheck2.mli
@@ -68,7 +68,7 @@ module O : sig
 
   and operator_case =
     Function    of var_name
-  | Construcor  of var_name
+  | Constructor of var_name
   | UpdateField of field_name
   | GetField    of field_name
   | Or | And | Lt | Leq | Gt | Geq | Equal | Neq | Cat | Cons | Add | Sub | Mult | Div | Mod