X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Switch%2FSwitches.groovy;h=c27440d0db938f74d5f062dc95615fa1f7e7a3f6;hb=f4d0ca554203eaaade02fdbf490441ee7a65715e;hp=a0e191cf4f61e4b92c33aafcf3670b273aa8946d;hpb=22b95e00013e33aa669f7430cb25153f0b1192e2;p=smartthings-infrastructure.git

diff --git a/Switch/Switches.groovy b/Switch/Switches.groovy
index a0e191c..c27440d 100644
--- a/Switch/Switches.groovy
+++ b/Switch/Switches.groovy
@@ -2,6 +2,10 @@
 package Switch
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
+
 public class Switches {
 	int deviceNumbers	
 	List switches