[gesamt] Updates Instr Counts

[testub10.git] / gesamt / lewurm_00.instr

diff --git a/gesamt/lewurm_00.instr b/gesamt/lewurm_00.instr
index b4de3947675361a7770d29b8982c407b0ec6b2a0..45a4fb75db864000d01701c0f7a51864bd4daabf 100644 (file)
--- a/gesamt/lewurm_00.instr
+++ b/gesamt/lewurm_00.instr
@@ -1 +1 @@
-11
+8