fix: zero arg functions were being compiled without the trace messages

Now traces are added before evaluating
This commit is contained in:
microproofs 2023-12-06 10:31:48 -05:00
parent 4b04517aba
commit 825e65d7a3
1 changed files with 1 additions and 1 deletions

View File

@ -3968,7 +3968,7 @@ impl<'a> CodeGenerator<'a> {
let mut program: Program<Name> = Program { let mut program: Program<Name> = Program {
version: (1, 0, 0), version: (1, 0, 0),
term, term: self.special_functions.apply_used_functions(term),
}; };
let mut interner = Interner::new(); let mut interner = Interner::new();