diff --git a/Microsoft.Z3/Enumerations.cs b/Microsoft.Z3/Enumerations.cs
index 02a39417b..b8bbc3911 100644
--- a/Microsoft.Z3/Enumerations.cs
+++ b/Microsoft.Z3/Enumerations.cs
@@ -169,6 +169,7 @@ namespace Microsoft.Z3
   Z3_OP_CONST_ARRAY = 770,
   Z3_OP_BSDIV = 1031,
   Z3_OP_OR = 262,
+  Z3_OP_PR_HYPER_RESOLVE = 1319,
   Z3_OP_AGNUM = 513,
   Z3_OP_PR_PUSH_QUANT = 1298,
   Z3_OP_BSMOD = 1035,
diff --git a/python/z3consts.py b/python/z3consts.py
index bbf9037fe..808e9aac7 100644
--- a/python/z3consts.py
+++ b/python/z3consts.py
@@ -152,6 +152,7 @@ Z3_OP_RA_SELECT = 1547
 Z3_OP_CONST_ARRAY = 770
 Z3_OP_BSDIV = 1031
 Z3_OP_OR = 262
+Z3_OP_PR_HYPER_RESOLVE = 1319
 Z3_OP_AGNUM = 513
 Z3_OP_PR_PUSH_QUANT = 1298
 Z3_OP_BSMOD = 1035