[gesamt] Updates Instr Counts

[testub10.git] / gesamt / lewurm_03.instr

diff --git a/gesamt/lewurm_03.instr b/gesamt/lewurm_03.instr
index 48082f72f087ce7e6fa75b9c41d7387daecd447b..ec635144f60048986bc560c5576355344005e6e7 100644 (file)
--- a/gesamt/lewurm_03.instr
+++ b/gesamt/lewurm_03.instr
@@ -1 +1 @@
-12
+9