From 134c766d418ab3c43c0645b0a30f1d10eb43f587 Mon Sep 17 00:00:00 2001
From: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date: Wed, 12 Jun 2019 10:38:14 +0200
Subject: [PATCH] Refactoring: Corrected a left-over stype
---
theories/proto/proto_def.v | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/theories/proto/proto_def.v b/theories/proto/proto_def.v
index 72af0d6..17a5e6f 100644
--- a/theories/proto/proto_def.v
+++ b/theories/proto/proto_def.v
@@ -21,7 +21,7 @@ Arguments TEnd {_ _}.
Arguments TSR {_ _} _ _ _.
Instance: Params (@TSR) 3.
-Instance stype_inhabited V A : Inhabited (proto V A) := populate TEnd.
+Instance proto_inhabited V A : Inhabited (proto V A) := populate TEnd.
CoFixpoint dual_proto {V A} (prot : proto V A) : proto V A :=
match prot with
--
GitLab