From 55887d3a458945d72e0c7528580d327a55da6ce5 Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Tue, 1 Aug 2023 00:47:29 -0400
Subject: [PATCH] fix: decode should always print to textual

---
 crates/aiken/src/cmd/uplc/decode.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/crates/aiken/src/cmd/uplc/decode.rs b/crates/aiken/src/cmd/uplc/decode.rs
index 226f56f3..ac8036dc 100644
--- a/crates/aiken/src/cmd/uplc/decode.rs
+++ b/crates/aiken/src/cmd/uplc/decode.rs
@@ -58,6 +58,8 @@ pub fn exec(
                 Program::from_flat(&bytes).into_diagnostic()?
             };
 
+            let program: Program<Name> = program.try_into().unwrap();
+
             program.to_pretty()
         }
         Format::Debruijn => {
@@ -68,6 +70,8 @@ pub fn exec(
                 Program::from_flat(&bytes).into_diagnostic()?
             };
 
+            let program: Program<Name> = program.try_into().unwrap();
+
             program.to_pretty()
         }
     };