From da39dafed7d4a4fa811cb1733c55dc2ef2b6d8e1 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 27 Mar 2019 14:24:57 +0000
Subject: Rewriter: Finish refactoring rewrite sequences

---
 src/rewrites.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/rewrites.mli')

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
-- 
cgit v1.2.3