Skip to content

Commit

Permalink
Update start2.rst
Browse files Browse the repository at this point in the history
  • Loading branch information
mike-gimelfarb committed Mar 10, 2024
1 parent ea42973 commit ad21a92
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/start2.rst
Original file line number Diff line number Diff line change
Expand Up @@ -148,7 +148,7 @@ More details about controlling error handling behavior can be found
for all values of ``?x``, regardless of the branch condition, and will thus trigger an exception if ``pvar(?x) == 0``
for some value of ``?x``. For the time being, we recommend suppressing errors as described above.

Logging Debug Data
Generating Debug Logs
--------------------------

To log information about the RDDL compilation to a file for debugging, error reporting
Expand Down

0 comments on commit ad21a92

Please sign in to comment.