# HG changeset patch
# User bill
# Date 1376259862 25200
# Node ID 3c8d8fdd32a1d87e5e28f654c3c1f499af9f601d
# Parent  c50f0fb9a717771be4f9ad6dadbc10dee2bf9bc3
mike's changes to solver

diff -r c50f0fb9a717 -r 3c8d8fdd32a1 src/solver.tp
--- a/src/solver.tp	Sun Aug 11 14:24:41 2013 -0700
+++ b/src/solver.tp	Sun Aug 11 15:24:22 2013 -0700
@@ -227,8 +227,8 @@
 				}
 				trees <- #[]
 
-				if: (args length) > 3 {
-					ops <- (args get: 3) splitOn: ","
+				if: (args length) > 5 {
+					ops <- (args get: 5) splitOn: ","
 					if: size < 10 {
 						trees <- prog filterTrees: (prog allOfSize: size) ops
 					} else: {
@@ -242,9 +242,9 @@
 				}
 				print: "Running classifier on " . (string: (trees length)) . " programs\n"
 				info <- classify: prog trees numTests
-				if: (args length) > 5 {
-					progId <- (args get: 4)
-					authKey <- (args get: 5)
+				if: (args length) > 4 {
+					progId <- (args get: 3)
+					authKey <- (args get: 4)
 
 					solve: progId withAuth: authKey andInfo: info andProg: prog
 				} else: {