Commit ff0d2da2 authored by Thorsten Wißmann's avatar Thorsten Wißmann 🐧
Browse files

Remove old smv output warning

parent 6dcb1f45
......@@ -640,8 +640,6 @@ show smvfile =
[ String.pad 41 ' ' ""
, String.pad 41 ' ' ("Traing Shunting: " ++ smvfile.title)
, String.pad 41 ' ' ""
, String.padRight 41 ' ' "(Warning: the NuSMV specification below"
, String.padRight 41 ' ' " is still under development)"
]
, ""
, "MODULE main"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment