diff options
Diffstat (limited to 'snapshots/hol4/lem/hol-lib/lem_assert_extraScript.sml')
| -rw-r--r-- | snapshots/hol4/lem/hol-lib/lem_assert_extraScript.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/snapshots/hol4/lem/hol-lib/lem_assert_extraScript.sml b/snapshots/hol4/lem/hol-lib/lem_assert_extraScript.sml index 7ef74237..79d5eda7 100644 --- a/snapshots/hol4/lem/hol-lib/lem_assert_extraScript.sml +++ b/snapshots/hol4/lem/hol-lib/lem_assert_extraScript.sml @@ -35,8 +35,8 @@ val _ = Define ` (*val ensure : bool -> string -> unit*) val _ = Define ` - ((ensure:bool -> string -> unit) test msg= - (if test then + ((ensure:bool -> string -> unit) test msg= + (if test then () else failwith msg))`; |