X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=blobdiff_plain;f=Runner.py;h=2309a888d346ae709273544db2f47aa45d5f0598;hp=d3d7c16f0ff5cc506d4d71da1462ab95d7115929;hb=dcc0f887a11615f3c36b394215117719bb46aaf8;hpb=2c5dcd64bb207e7b9d52d8b37bf084e4f373826e;ds=sidebyside

diff --git a/Runner.py b/Runner.py
index d3d7c16..2309a88 100644
--- a/Runner.py
+++ b/Runner.py
@@ -71,6 +71,9 @@ Out.write("import SpeechSynthesis.SpeechSynthesises\n")
 Out.write("import Event.Event\n")
 Out.write("import Timer.SimulatedTimer\n")
 Out.write("\n")
+Out.write("//JPF's Verify API\n")
+Out.write("import gov.nasa.jpf.vm.Verify\n")
+Out.write("\n")
 Out.write("//Global eventHandler\n")
 for line in eventHandler:
 	Out.write(line)