tiny fix to allow also # without subsequent whitespace as a remark in the text database

Author: WolfgangWaltenberger

smodels/experiment/infoObj.py

@@ -45,7 +45,7 @@ def __init__(self, path=None):
             for i, tag in enumerate(tags):
                 if not tag:
                     continue
-                if tag.startswith("# "):  # a comment!
+                if tag.startswith("#"):  # a comment!
                     continue
                 line = content[i]
                 value = line.split(':', 1)[1].strip()