Minor fixes for datatypes

sybila · Aug 31, 2021 · c9649ce · c9649ce
1 parent 9414b21
commit c9649ce
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/config/datatypes/datatypes.py b/config/datatypes/datatypes.py
@@ -110,12 +110,12 @@ def set_peek(self, dataset, is_multi_byte=False):
             dataset.blurb = 'file purged from disk'
 
 class CTL_check(Text):
-    """Class describing a CTL modelchecking output"""
+    """Class describing a CTL model checking output"""
     file_ext = "ctl.check"
 
     def sniff(self, filename):
         """
-        Determines whether the file is in .storm.check format
+        Determines whether the file is in .ctl.check format
         """
         content = open(filename, 'r').read()
         keywords = ["Result:", "Number of satisfying states:"]