From 8a62d1f9b61157ac116506c567f16e67baa9077d Mon Sep 17 00:00:00 2001
From: CaiMingshi <i@unoiou.com>
Date: Mon, 10 Dec 2018 23:51:00 +0800
Subject: [PATCH] lint

---
 e.smv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/e.smv b/e.smv
index d207d9e..37ebf7e 100644
--- a/e.smv
+++ b/e.smv
@@ -1,6 +1,6 @@
 MODULE e
   VAR
-    e: { e };
+    e : { e };
   ASSIGN
     init(e) := e;
     next(e) := e;