diff --git a/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/convert/TermCompiler.java b/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/convert/TermCompiler.java
index a2172c76f..4c88f043f 100644
--- a/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/convert/TermCompiler.java
+++ b/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/convert/TermCompiler.java
@@ -102,6 +102,7 @@ public void convert(final Term term) {
 			case "Int":
 			case "Real":
 			case "Array":
+			case "String":
 				/* okay */
 				break;
 			default: