Bram-Hub / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU General Public License v3.0
33 stars 82 forks source link

Null board when creating new puzzle file bug fix #625

Closed charlestian23 closed 1 year ago

charlestian23 commented 1 year ago

Description

Fixed a bug where attempting to save a brand new puzzle file created in LEGUP would cause an error since the length of the proof tree would be 0. This fixes that error by adding an if check to get the puzzle board an alternative way if the length of the proof tree is 0.

Type of change

How Has This Been Tested?

Checklist: