Adding jpf.jar to enable the compilation of apps with the gov.nasa.jpf.vm.Verify...

[smartthings-infrastructure.git] / main.groovy

diff --git a/main.groovy b/main.groovy
index e282ed898bdaa5ef71e779d2b0902564e7705ad1..dfc967563b81701d47d6dcb345d3b1afa399ace6 100644 (file)
--- a/main.groovy
+++ b/main.groovy
@@ -23,6 +23,8 @@ import NfcTouch.NfcTouch
 import Event.Event
 import Timer.SimulatedTimer
 
+import gov.nasa.jpf.vm.Verify
+
 //Global eventHandler
 /////////////////////////////////////////////////////////////////////
 def eventHandler(LinkedHashMap eventDataMap) {