fix: decode should always print to textual

This commit is contained in:
microproofs 2023-08-01 00:47:29 -04:00
parent 622b0d51b0
commit 55887d3a45
1 changed files with 4 additions and 0 deletions

View File

@ -58,6 +58,8 @@ pub fn exec(
Program::from_flat(&bytes).into_diagnostic()? Program::from_flat(&bytes).into_diagnostic()?
}; };
let program: Program<Name> = program.try_into().unwrap();
program.to_pretty() program.to_pretty()
} }
Format::Debruijn => { Format::Debruijn => {
@ -68,6 +70,8 @@ pub fn exec(
Program::from_flat(&bytes).into_diagnostic()? Program::from_flat(&bytes).into_diagnostic()?
}; };
let program: Program<Name> = program.try_into().unwrap();
program.to_pretty() program.to_pretty()
} }
}; };