Manual formalization in advanced should be empty by default

normativeai / frontend

GNU General Public License v3.0

5 stars 3 forks source link

Manual formalization in advanced should be empty by default #20

Closed shaolintl closed 5 years ago

shaolintl commented 5 years ago

Right now, if we use annotations and run consistency check, it tries to parse also the empty formalization in advanced. I believe it should be empty by default.