Deleting files and completing event generation.

[smartthings-infrastructure.git] / main.groovy

diff --git a/main.groovy b/main.groovy
index 6ba69420098bdd23777652ae8d0d70cbc0557fab..54605116eadba871d6e24cf2164acc84236ad0e4 100644 (file)
--- a/main.groovy
+++ b/main.groovy
@@ -27,6 +27,8 @@ import MusicPlayer.MusicPlayers
 import Event.Event
 import Timer.SimulatedTimer
 
+import gov.nasa.jpf.vm.Verify
+
 //Global eventHandler
 /////////////////////////////////////////////////////////////////////
 def eventHandler(LinkedHashMap eventDataMap) {