Fix types of some string formula constructors.

HarvardPL · Apr 21, 2019 · d1aea77 · d1aea77
1 parent c5f4eac
commit d1aea77
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/edu/harvard/seas/pl/formulog/symbols/BuiltInConstructorSymbol.java b/src/main/java/edu/harvard/seas/pl/formulog/symbols/BuiltInConstructorSymbol.java
@@ -313,9 +313,9 @@ public Type getCompileTimeType() {
 		case STR_CONCAT:
 			return makeType(string, string, smt(string));
 		case STR_CONTAINS:
-			return makeType(string, string, smt(string));
+			return makeType(string, string, smt(bool));
 		case STR_INDEXOF:
-			return makeType(string, string, int_, smt(string));
+			return makeType(string, string, int_, smt(int_));
 		case STR_LEN:
 			return makeType(string, smt(int_));
 		case STR_PREFIXOF: