From 716e4997c5c0f906ff7be6971e10ebe6ed0de30e Mon Sep 17 00:00:00 2001
From: Alex Bethel <abethel@cs.nmt.edu>
Date: Sat, 27 Nov 2021 11:11:03 -0600
Subject: [PATCH] Avoid trailing comma in cart printout

---
 ablescript/src/variables.rs | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/ablescript/src/variables.rs b/ablescript/src/variables.rs
index 99f7955..5ee99cb 100644
--- a/ablescript/src/variables.rs
+++ b/ablescript/src/variables.rs
@@ -532,8 +532,14 @@ impl Display for Value {
                 let mut cart_vec = c.iter().collect::<Vec<_>>();
                 cart_vec.sort_by(|x, y| x.0.partial_cmp(y.0).unwrap_or(std::cmp::Ordering::Less));
 
-                for (key, value) in cart_vec {
-                    write!(f, "{} <= {}, ", value.borrow(), key)?;
+                for (idx, (key, value)) in cart_vec.into_iter().enumerate() {
+                    write!(
+                        f,
+                        "{}{} <= {}",
+                        if idx != 0 { ", " } else { "" },
+                        value.borrow(),
+                        key
+                    )?;
                 }
 
                 write!(f, "]")