diff --git a/trunk/examples/programs/regression/c/KojakC-Reach-32Bit-Default.epf b/trunk/examples/programs/regression/c/KojakC-Reach-32Bit-Default.epf
index 0a7128c2a2..dda101efb8 100644
--- a/trunk/examples/programs/regression/c/KojakC-Reach-32Bit-Default.epf
+++ b/trunk/examples/programs/regression/c/KojakC-Reach-32Bit-Default.epf
@@ -64,6 +64,7 @@ file_export_version=3.0
 #Sun Nov 08 00:43:17 CET 2015
 file_export_version=3.0
 /instance/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck/Interpolating\ solver=SMTINTERPOL
+/instance/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck/Theory\ for\ external\ solver=ALL
 \!/instance/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck=
 /instance/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck/Timeout\ in\ seconds=1000000
 @de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck=0.0.1