lint

2018-12-10 23:51:00 +08:00 · 2018-12-10 23:51:00 +08:00 · 8a62d1f9b6
parent 5399eabc2d
commit 8a62d1f9b6
1 changed files with 1 additions and 1 deletions
--- a/e.smv
+++ b/e.smv
@ -1,6 +1,6 @@
 MODULE e
  VAR
-    e: { e };
+    e : { e };
  ASSIGN
    init(e) := e;
    next(e) := e;