Changing Verify API call scheme for device handlers.

[smartthings-infrastructure.git] / AeonKeyFob / AeonKeyFobs.groovy

diff --git a/AeonKeyFob/AeonKeyFobs.groovy b/AeonKeyFob/AeonKeyFobs.groovy
index 6383898b5538d9af16ea8f8fc0d6375d628b0d57..f001f0d8fe0ce3b126eb4528c3594ccd96650e41 100644 (file)
--- a/AeonKeyFob/AeonKeyFobs.groovy
+++ b/AeonKeyFob/AeonKeyFobs.groovy
@@ -2,9 +2,6 @@
 package AeonKeyFob
 import Timer.SimulatedTimer
 
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
 public class AeonKeyFobs {
        private int deviceNumbers
        private List aeonKeyFobs