diff options
Diffstat (limited to 'testsuite/tests/misc/taku.ml')
-rw-r--r-- | testsuite/tests/misc/taku.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/testsuite/tests/misc/taku.ml b/testsuite/tests/misc/taku.ml index 31e617eed7..47d94c88bd 100644 --- a/testsuite/tests/misc/taku.ml +++ b/testsuite/tests/misc/taku.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - let rec tak (x, y, z) = if x > y then tak(tak (x-1, y, z), tak (y-1, z, x), tak (z-1, x, y)) else z |