Delete erroneously added line in test

Joel Allred · Joel Allred · commit bf4f2b9ca7be · 2019-03-28T17:22:32.000Z
diff --git a/regression/smt2_strings/suffixof_input_sat/suffixof_input_sat.smt2 b/regression/smt2_strings/suffixof_input_sat/suffixof_input_sat.smt2
@@ -4,4 +4,3 @@
 (assert (not (= str suffix)))
 (assert (str.suffixof suffix str))
 (check-sat)
-(get-model)
