Remove unused cell <imp> originally intended for import statments

kframework · Jul 3, 2019 · f87c47b · f87c47b
1 parent b5d8d9d
commit f87c47b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/kink.md b/src/kink.md
@@ -37,11 +37,10 @@ module KINK-CONFIGURATION
                 <definition>
                    <defnAttrs format="[ %2 ]%n"> .Patterns </defnAttrs>
                    <modules format="%2%n">
-                     <mod format="module %2%i%n%4%n%5%n%6%d%n %i%dendmodule %3%n%n"
+                     <mod format="module %2%i%n%4%n%5%n%d%n %i%dendmodule %3%n%n"
                           multiplicity="*" type="Set">
                        <name format="%2"> #token("UNNAMED", "ModuleName"):ModuleName </name>
                        <attributes format="[ %2 ]"> .Patterns </attributes>
-                       <imp format="%2"> .Declarations </imp>
                        <declarations format="%2">
                          <decl format="%2%n" multiplicity="*" type="Set"> nullDecl </decl>
                        </declarations>