changeset 59:3c8d8fdd32a1 default tip

mike's changes to solver
author bill
date Sun, 11 Aug 2013 15:24:22 -0700
parents c50f0fb9a717
children
files src/solver.tp
diffstat 1 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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: {