X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=blobdiff_plain;f=MusicPlayer%2FMusicPlayer.groovy;h=67db55410bec374162b2406d86d98484ab5f63ed;hp=83727722d5fbbe4e9b565ba181b95c81d1de4f4c;hb=43db66bdb5ba7a2f07e9cbb04e0c44fddd6510be;hpb=8556a42043486d0c2852a9344a7c0df8c79d73fd;ds=sidebyside

diff --git a/MusicPlayer/MusicPlayer.groovy b/MusicPlayer/MusicPlayer.groovy
index 8372772..67db554 100644
--- a/MusicPlayer/MusicPlayer.groovy
+++ b/MusicPlayer/MusicPlayer.groovy
@@ -2,6 +2,8 @@
 package MusicPlayer
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
 
 public class MusicPlayer {
 	private String id