From be2bc6e0f608b0e5867afe897b30bea9c84e11de Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 30 Oct 2019 15:00:49 -0500
Subject: [PATCH] fix(term): missing type constraint

---
 src/base-term/Sidekick_base_term.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/base-term/Sidekick_base_term.ml b/src/base-term/Sidekick_base_term.ml
index 535ce45e..256b8a59 100644
--- a/src/base-term/Sidekick_base_term.ml
+++ b/src/base-term/Sidekick_base_term.ml
@@ -14,6 +14,7 @@ module Arg
     with type Term.t = Term.t
      and type Fun.t = Fun.t
      and type Ty.t = Ty.t
+     and type Term.state = Term.state
 = struct
   module Term = Term
   module Fun = Fun