Skip to content

Commit 5c75ba1

Browse files
committed
Fix incorrect type requests guesses
1 parent c75b4cb commit 5c75ba1

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

synth/syntax/grammars/tagged_det_grammar.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,7 @@ def __init__(
4242
super().__init__(grammar.start, grammar.rules, clean=False)
4343
self.grammar = grammar
4444
self.tags = tags
45+
self.type_request = grammar.type_request
4546

4647
def programs(self) -> int:
4748
return self.grammar.programs()

0 commit comments

Comments
 (0)