From f87c47b68447b0067fff12f554e507fe53d0c928 Mon Sep 17 00:00:00 2001 From: Nishant Rodrigues Date: Tue, 2 Jul 2019 17:22:46 +0530 Subject: [PATCH] Remove unused cell originally intended for import statments --- src/kink.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/kink.md b/src/kink.md index 7f5ed9f..b74ecc5 100644 --- a/src/kink.md +++ b/src/kink.md @@ -37,11 +37,10 @@ module KINK-CONFIGURATION .Patterns - #token("UNNAMED", "ModuleName"):ModuleName .Patterns - .Declarations nullDecl