models.command indicates when the clingo module was used, instead of …

…being empty
Aluriak · Aug 7, 2019 · 1840c36 · 1840c36
1 parent 9e3692b
commit 1840c36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/clyngor/answers.py b/clyngor/answers.py
@@ -299,7 +299,7 @@ class ClingoAnswers(Answers):
     """
     def __init__(self, solver, statistics:callable=(lambda: {})):
         assert clyngor.have_clingo_module()
-        super().__init__(self.__compute_answers(), with_optimization=True)
+        super().__init__(self.__compute_answers(), with_optimization=True, command='[clingo module call]')
         self._solver = solver
         self._statistics = lambda s=solver: s.statistics
         assert callable(self._statistics)