changeset 35280 | 54ab4921f826 |
parent 35220 | 2bcdae5f4fdb |
child 35385 | 29f81babefd7 |
--- a/src/HOL/Tools/Nitpick/nitpick_util.ML Mon Feb 22 10:28:49 2010 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_util.ML Mon Feb 22 11:57:33 2010 +0100 @@ -92,7 +92,7 @@ val max_exponent = 16384 (* int -> int -> int *) -fun reasonable_power a 0 = 1 +fun reasonable_power _ 0 = 1 | reasonable_power a 1 = a | reasonable_power 0 _ = 0 | reasonable_power 1 _ = 1