From a1961a6548a27a5fffcf6c931ae61e66310ba756 Mon Sep 17 00:00:00 2001
From: Victor Maia <victor.taelin@gmail.com>
Date: Fri, 15 Jul 2022 01:17:49 -0300
Subject: [PATCH] Fix ctr stringifier

---
 src/language.rs | 2 +-
 src/main.rs     | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/language.rs b/src/language.rs
index d307f8bf..ddc06f82 100644
--- a/src/language.rs
+++ b/src/language.rs
@@ -403,7 +403,7 @@ pub fn show_term(term: &Term) -> String {
       format!("({}: {}) {}", name, show_term(tipo), body)
     }
     Term::Ctr { name, args } => {
-      format!("{{{}{}}}", name, args.iter().map(|x| format!(" {}",show_term(x))).collect::<String>())
+      format!("({}{})", name, args.iter().map(|x| format!(" {}",show_term(x))).collect::<String>())
     }
     Term::Fun { name, args } => {
       format!("({}{})", name, args.iter().map(|x| format!(" {}",show_term(x))).collect::<String>())
diff --git a/src/main.rs b/src/main.rs
index b34ab417..6cb08ea7 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -17,6 +17,7 @@ fn main() {
       eprintln!("{}", err);
     }
   };
+}
 
 // ------------------------------------------------------------
 // ------------------------------------------------------------