X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=ModelCheck.py;h=1a0c940bb66ff273d3fc6300b4914d8879f940c5;hb=04cd141e8bb621d445e901ccb93caaa5429b00c8;hp=8ff62ffb4999da90b85c1b74b1770cdfdce4cfe0;hpb=0c6e63360c2c1dc55705ced3bf5ddabf22f7abed;p=smartthings-infrastructure.git

diff --git a/ModelCheck.py b/ModelCheck.py
index 8ff62ff..1a0c940 100644
--- a/ModelCheck.py
+++ b/ModelCheck.py
@@ -58,7 +58,6 @@ firstList = sys.argv[4]
 
 # PART 1: Generate the permutations of app pairs
 print "PHASE 1: Extracting the app pairs from the app lists ...\n"
-print "Got here!"
 appList1 = []
 appList2 = []
 # Extract the first list