X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=blobdiff_plain;f=AeonKeyFob%2FAeonKeyFobs.groovy;h=6383898b5538d9af16ea8f8fc0d6375d628b0d57;hp=bbb1a35be6885713fee4db22984a6b5e6db1f3dd;hb=c1971948245fda1774c4c76451387ae8c0b7ebc0;hpb=853fd00f8cfdf3365aac210ed5649415b8aab5d3

diff --git a/AeonKeyFob/AeonKeyFobs.groovy b/AeonKeyFob/AeonKeyFobs.groovy
index bbb1a35..6383898 100644
--- a/AeonKeyFob/AeonKeyFobs.groovy
+++ b/AeonKeyFob/AeonKeyFobs.groovy
@@ -2,6 +2,9 @@
 package AeonKeyFob
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class AeonKeyFobs {
 	private int deviceNumbers
 	private List aeonKeyFobs
@@ -50,7 +53,7 @@ public class AeonKeyFobs {
 
 	//methods
 	def eventsSince(Date dateObj) {
-		return aeonKeyFobs[0].eventsSince(dateObj)
+		return aeonKeyFobs[0].eventsSince()
 	}