From 0716b47a78f0c3960a119400bf68c18f40986cae Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 10 Jun 2020 07:04:56 -0700
Subject: [PATCH] [sledge] Refactor: Strengthen signature of Reg with type
 equations to Exp.Reg

Reviewed By: jvillard

Differential Revision: D21720974

fbshipit-source-id: e5470a0c9
---
 sledge/src/reg.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/src/reg.mli b/sledge/src/reg.mli
index 568b21b70..b5569d163 100644
--- a/sledge/src/reg.mli
+++ b/sledge/src/reg.mli
@@ -7,4 +7,4 @@
 
 (** Variables *)
 
-include module type of Exp.Reg
+include module type of struct include Exp.Reg end