diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 235453845..a5440946c 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2986,21 +2986,22 @@ def mk_z3consts_ml(api_files):
                 if m:
                     name = words[1]
                     if name not in DeprecatedEnums:
+                        sorted_decls = sorted(decls.items(), key=lambda pair: pair[1])
                         efile.write('(** %s *)\n' % name[3:])
                         efile.write('type %s =\n' % name[3:]) # strip Z3_
-                        for k, i in decls.items():
+                        for k, i in sorted_decls:
                             efile.write('  | %s \n' % k[3:]) # strip Z3_
                         efile.write('\n')
                         efile.write('(** Convert %s to int*)\n' % name[3:])
                         efile.write('let int_of_%s x : int =\n' % (name[3:])) # strip Z3_
                         efile.write('  match x with\n')
-                        for k, i in decls.items():
+                        for k, i in sorted_decls:
                             efile.write('  | %s -> %d\n' % (k[3:], i))
                         efile.write('\n')
                         efile.write('(** Convert int to %s*)\n' % name[3:])
                         efile.write('let %s_of_int x : %s =\n' % (name[3:],name[3:])) # strip Z3_
                         efile.write('  match x with\n')
-                        for k, i in decls.items():
+                        for k, i in sorted_decls:
                             efile.write('  | %d -> %s\n' % (i, k[3:]))
                         # use Z3.Exception?
                         efile.write('  | _ -> raise (Failure "undefined enum value")\n\n')
@@ -3068,7 +3069,7 @@ def mk_z3consts_ml(api_files):
     #                 if name not in DeprecatedEnums:
     #                     efile.write('(** %s *)\n' % name[3:])
     #                     efile.write('type %s =\n' % name[3:]) # strip Z3_
-    #                     for k, i in decls.items():
+    #                     for k, i in sorted(decls.items(), key=lambda pair: pair[1]):
     #                         efile.write('  | %s \n' % k[3:]) # strip Z3_
     #                     efile.write('\n')
     #                     efile.write('(** Convert %s to int*)\n' % name[3:])