Added dynamic config output to bootstrap parent (already in children)
authorYeGoblynQueenne@splinter <ep50@uni.brighton.ac.uk>
Mon, 29 Aug 2016 18:14:11 +0000 (21:14 +0300)
committerYeGoblynQueenne@splinter <ep50@uni.brighton.ac.uk>
Mon, 29 Aug 2016 18:14:11 +0000 (21:14 +0300)
tree_learning/grammar_printing.pl

index 7f993af..decb7d3 100644 (file)
@@ -376,6 +376,7 @@ print_grammar_file(bootstrap_parent,Module,Stream,Parent_start_symbol,Children_s
        configuration:start_symbol_arity(N)
        ,format(Stream, '~w~w~w~w~w~n~n'
               ,[':-module(',Module,',',[Parent_start_symbol//N],').'])
+       ,dynamic_configuration(Stream)
        ,forall(member(Child_start_symbol,Children_start_symbols)
               ,(configuration:output_file_name(bootstrapped_grammar(Child_start_symbol),OF)
                ,file_name_module_name(OF, Child_module)