From f881e854702972d99ca611ea74bd2255222880dd Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Tue, 4 Apr 2017 17:54:18 -0400
Subject: [PATCH] remove old theory_str enums from api

---
 src/api/z3_api.h | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index 23d04f0be..272c94dda 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -1169,10 +1169,6 @@ typedef enum {
     Z3_OP_RE_FULL_SET,
     Z3_OP_RE_COMPLEMENT,
 
-	// theory_str
-	Z3_OP_STR_CONCAT,
-	Z3_OP_STR_LENGTH,
-
     // Auxiliary
     Z3_OP_LABEL = 0x700,
     Z3_OP_LABEL_LIT,