Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure

[smartthings-infrastructure.git] / ModelCheck.py

diff --git a/ModelCheck.py b/ModelCheck.py
index 8ff62ffb4999da90b85c1b74b1770cdfdce4cfe0..1a0c940bb66ff273d3fc6300b4914d8879f940c5 100644 (file)
--- 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