diff --git a/Jars/Jars.mch b/Jars/Jars.mch index c6bb870f748abf1c8eed26ec5d94db35e25c21d0..cb51b2db96005f10bce3ec70583bdad8c6a4d040 100644 --- a/Jars/Jars.mch +++ b/Jars/Jars.mch @@ -7,9 +7,6 @@ Input: one 3 gallon and one 5 gallon jug, and we need to measure precisely 4 gal */ DEFINITIONS GOAL == (4:ran(level)); - ANIMATION_IMG1 == "images/Filled.gif"; - ANIMATION_IMG2 == "images/Empty.gif"; - ANIMATION_IMG3 == "images/Void.gif"; gmax == max(ran(maxf)); ANIMATION_FUNCTION_DEFAULT == {r,c,i | c:Jars & r:1..gmax & i=3}; ri == (gmax+1-r);