coq-8.9 compat

vzaliva · Apr 28, 2019 · f8631f1 · f8631f1
1 parent 89b8149
commit f8631f1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/theories/Switch.v b/theories/Switch.v
@@ -5,6 +5,9 @@ Require Import Template.All.
 Import MonadNotation.
 Import ListNotations.
 
+Open Scope string_scope.
+
+
 Fixpoint mkSwitchCases
          (type_name: string)
          (A_t: term)