changeset 67399 | eab6ce8368fa |
parent 61877 | 276ad4354069 |
child 67405 | e9ab4ad7bd15 |
--- a/src/HOL/Tools/SMT/smtlib.ML Wed Jan 10 15:21:49 2018 +0100 +++ b/src/HOL/Tools/SMT/smtlib.ML Wed Jan 10 15:25:09 2018 +0100 @@ -67,7 +67,7 @@ (* hex numbers *) -val is_hex = member (op =) (raw_explode "0123456789abcdefABCDEF") +val is_hex = member (=) (raw_explode "0123456789abcdefABCDEF") fun within c1 c2 c = (ord c1 <= ord c andalso ord c <= ord c2)