diff --git a/src/stages/common/PP.ml b/src/stages/common/PP.ml
index a04d303a7..14cde83d5 100644
--- a/src/stages/common/PP.ml
+++ b/src/stages/common/PP.ml
@@ -146,6 +146,7 @@ let constant ppf : constant' -> unit = function
   | C_SELF_ADDRESS          -> fprintf ppf "SELF_ADDRESS"
   | C_IMPLICIT_ACCOUNT      -> fprintf ppf "IMPLICIT_ACCOUNT"
   | C_SET_DELEGATE          -> fprintf ppf "SET_DELEGATE"
+  | C_CREATE_CONTRACT       -> fprintf ppf "CREATE_CONTRACT"
 
 let literal ppf (l : literal) =
   match l with
diff --git a/src/stages/common/types.ml b/src/stages/common/types.ml
index e923bc924..d6b0839fd 100644
--- a/src/stages/common/types.ml
+++ b/src/stages/common/types.ml
@@ -288,3 +288,4 @@ and constant' =
   | C_SELF_ADDRESS
   | C_IMPLICIT_ACCOUNT
   | C_SET_DELEGATE
+  | C_CREATE_CONTRACT
diff --git a/src/stages/mini_c/PP.ml b/src/stages/mini_c/PP.ml
index 0fde6061c..46899c212 100644
--- a/src/stages/mini_c/PP.ml
+++ b/src/stages/mini_c/PP.ml
@@ -242,6 +242,7 @@ and constant ppf : constant' -> unit = function
   | C_SELF_ADDRESS          -> fprintf ppf "SELF_ADDRESS"
   | C_IMPLICIT_ACCOUNT      -> fprintf ppf "IMPLICIT_ACCOUNT"
   | C_SET_DELEGATE          -> fprintf ppf "SET_DELEGATE"
+  | C_CREATE_CONTRACT       -> fprintf ppf "CREATE_CONTRACT"
 
 let%expect_test _ =
   Format.printf "%a" value (D_bytes (Bytes.of_string "foo")) ;