update

2 files changed, 7 insertions, 1 deletions

diff --git a/dotest.sh b/dotest.sh
index c438dc7..df56c20 100755
--- a/dotest.sh
+++ b/dotest.sh
@@ -2,5 +2,5 @@
 
 mvn clean compile exec:java > outp.txt 2> error.txt;
 
-tail -n +32 outp.txt | view -c "normal! zR" -c "tabe error.txt" -c "normal! gt" -;
+tail -n +28 outp.txt | view -c "normal! zR" -c "tabe error.txt" -c "normal! gt" -;
 # tail -n +32 outp.txt | view -c "normal! zR" -;
diff --git a/todos.txt b/todos.txt
index 0399ef6..b233b36 100755
--- a/todos.txt
+++ b/todos.txt
@@ -60,3 +60,9 @@ DONE(6/3/18) 10/11/17 Ben Culkin :Determinism
 
 	This will probably entail the definition of some kind of error code type
 	that can be conveniently returned and used.
+
+@TODO 7/8/2020 Ben Culkin :RecurLimit
+	Add some easy way to say that we only want to recur into a given rule once
+	in this context (could some sort of use of exhaustive rule vars. do this?
+	maybe. it's been a while since last I looked at the details of how this
+	project worked; and I doubt I left enough comments/other documentation)