From c64e26b290e98d89ef7f1c8711260300b8b9a531 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 1 Feb 2022 15:53:17 +0100
Subject: [PATCH] remove animation image links
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
Jars/Jars.mch | 3 ---
1 file changed, 3 deletions(-)
diff --git a/Jars/Jars.mch b/Jars/Jars.mch
index c6bb870..cb51b2d 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);
--
GitLab