Skip to content

Commit

Permalink
Do not clear debug log by default
Browse files Browse the repository at this point in the history
  • Loading branch information
mike-gimelfarb committed Mar 23, 2024
1 parent 9f906a7 commit 3efa666
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions pyRDDLGym_gurobi/core/compiler.py
Original file line number Diff line number Diff line change
Expand Up @@ -87,8 +87,6 @@ def __init__(self, rddl: RDDLLiftedModel,
self.rddl = RDDLGrounder(deepcopy(rddl.ast)).ground()

# compile initial values
if self.logger is not None:
self.logger.clear()
initializer = RDDLValueInitializer(self.rddl, logger=self.logger)
self.init_values = initializer.initialize()

Expand Down

0 comments on commit 3efa666

Please sign in to comment.