We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f57026e commit a740059Copy full SHA for a740059
worlds/witness/utils.py
@@ -252,5 +252,5 @@ def get_logic_file(filepath: str):
252
if filepath == "WitnessLogicExpert.txt":
253
return get_sigma_expert_logic()
254
if filepath == "WitnessLogicVanilla.txt":
255
- return get_vanilla_logic
+ return get_vanilla_logic()
256
return get_adjustment_file(filepath)
0 commit comments