diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/smt.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/smt.sail b/lib/smt.sail index 702b82c6..24e0d148 100644 --- a/lib/smt.sail +++ b/lib/smt.sail @@ -15,11 +15,11 @@ val mod = { lem: "integerMod" } : forall 'n 'm. (atom('n), atom('m)) -> {'o, 'o = mod('n, 'm). atom('o)} -val abs = { +val abs_atom = { smt : "abs", ocaml: "abs_int", lem: "abs_int" -} : forall 'n. atom('n) -> {'o, 'o = abs('n). atom('o)} +} : forall 'n. atom('n) -> {'o, 'o = abs_atom('n). atom('o)} $ifdef TEST |