diff --git a/src/api/api_ast.cpp b/src/api/api_ast.cpp
index c512d58af..9d764bd2f 100644
--- a/src/api/api_ast.cpp
+++ b/src/api/api_ast.cpp
@@ -1202,6 +1202,8 @@ extern "C" {
 
             case OP_STRING_STOI: return Z3_OP_STR_TO_INT;
             case OP_STRING_ITOS: return Z3_OP_INT_TO_STR;
+            case OP_STRING_LT: return Z3_OP_STRING_LT;
+            case OP_STRING_LE: return Z3_OP_STRING_LE;
 
             case OP_RE_PLUS: return Z3_OP_RE_PLUS;
             case OP_RE_STAR: return Z3_OP_RE_STAR;
diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index eb5f10c76..75453c8c0 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -1209,6 +1209,8 @@ typedef enum {
     // strings
     Z3_OP_STR_TO_INT,
     Z3_OP_INT_TO_STR,
+    Z3_OP_STRING_LT,
+    Z3_OP_STRING_LE,
 
     // regular expressions
     Z3_OP_RE_PLUS,