diff options
| author | Alasdair Armstrong | 2018-05-09 16:55:58 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-05-09 16:56:16 +0100 |
| commit | 0d56f6be9e2e437c570da05b1c8cdc25eb24912c (patch) | |
| tree | 4fdc1230bf8731bb4a00177d42d910713c923bca /lib | |
| parent | c498c8a7f8d448dcefd1692e7562878cc6feb62b (diff) | |
Fix an issue with C compilation
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/arith.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/arith.sail b/lib/arith.sail index fa091772..54ecdbbc 100644 --- a/lib/arith.sail +++ b/lib/arith.sail @@ -5,7 +5,7 @@ $include <flow.sail> // ***** Addition ***** -val add_atom = {ocaml: "add_int", lem: "integerAdd"} : forall 'n 'm. +val add_atom = {ocaml: "add_int", lem: "integerAdd", c: "add_int"} : forall 'n 'm. (atom('n), atom('m)) -> atom('n + 'm) val add_int = {ocaml: "add_int", lem: "integerAdd", c: "add_int"} : (int, int) -> int |