search

allenai / ruletaker

Apache License 2.0
41 stars 6 forks source link

fixing error while running get_theorem_prover_labels.py #3

Closed bhavanadalvi closed 3 years ago

bhavanadalvi commented 3 years ago

Fixing error while running get_theorem_prover_labels.py

"/..../ruletaker/common.py", line 206, in create_fact args_to_choose_from.add(random.sample(variables, num_missing_constants)) TypeError: unhashable type: 'list'

Fix: common.py line 206 When num of sampled_vars > 1, args_to_choose_from.add() fails

Fixed code: if num_missing_constants > 0: sampled_vars = random.sample(variables, num_missing_constants) args_to_choose_from.update(set(sampled_vars))

sbhaktha commented 3 years ago

great!! thanks for the fix :)