Testcase bug

[testub10.git] / codea / skinner33_17.call

diff --git a/codea/skinner33_17.call b/codea/skinner33_17.call
index 803f0219081c8b55cee16c98efd829b4dc2381d0..ae188f35a719aa3938aaaf931d0355872d110b1a 100644 (file)
--- a/codea/skinner33_17.call
+++ b/codea/skinner33_17.call
@@ -19,7 +19,7 @@ RET(f1(4,muh) == 25 &&
        f3(5,muh) == 1 && f3(5,kuh) == 0 &&
        f4(5,muh) == 1 && f4(5,kuh) == 0 &&
        f5(5,muh) == 1 && f5(5,kuh) == 0 &&
-       f6(6,muh) == 0 && f6(6,kuh) == 0 &&
+       f6(6,muh) == 1 && f6(6,kuh) == 0 &&
        f7(5,muh) == 1 && f7(5,kuh) == 0 &&
        f8(5,muh) == 0 && f8(7,kuh) == 1 &&
        f9(5,muh) == 1 && f9(5,kuh) == 0 &&