diff options
| author | Alasdair Armstrong | 2019-03-27 14:24:57 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-27 14:24:57 +0000 |
| commit | da39dafed7d4a4fa811cb1733c55dc2ef2b6d8e1 (patch) | |
| tree | 135bea2bcc8f98cd92055cfe620d2f2e22ba701f /src/rewrites.mli | |
| parent | c44414ccb52d876dae732e3c6e9ed5ebb493c194 (diff) | |
Rewriter: Finish refactoring rewrite sequences
Diffstat (limited to 'src/rewrites.mli')
| -rw-r--r-- | src/rewrites.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rewrites.mli b/src/rewrites.mli index f5b26f3a..656f5400 100644 --- a/src/rewrites.mli +++ b/src/rewrites.mli @@ -89,6 +89,7 @@ val rewrite_lit_lem : lit -> bool type rewriter_arg = | If_mono_arg + | If_mwords_arg | Bool_arg of bool | String_arg of string | Literal_arg of string |