From b468fb071baf158fc6c9cd44c020e8e577076d1c Mon Sep 17 00:00:00 2001
From: Alejandro Serrano <trupill@gmail.com>
Date: Wed, 18 Aug 2021 09:52:46 +0200
Subject: [PATCH] Allow String in TermCompiler

---
 .../informatik/ultimate/smtinterpol/convert/TermCompiler.java    | 1 +
 1 file changed, 1 insertion(+)

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: