Control/Protocol/CoreOld.agda

crypto-agda · Mar 5, 2015 · 0f910b0 · 0f910b0
1 parent a939230
commit 0f910b0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Control/Protocol/CoreOld.agda b/Control/Protocol/CoreOld.agda
@@ -41,6 +41,7 @@ module _ (Q : ★)(R : Q → ★)(A : ★) where
       srv-ask  : ∀ q → ServerResponse q
 
   record ServerResponse q where
+    inductive
     constructor _,_
     field
       srv-resp : R q