From 0616f94a9734eb40a6f1f41cd8a045cddb119834 Mon Sep 17 00:00:00 2001
From: ec798 <ec798@cornell.edu>
Date: Mon, 11 Nov 2024 21:00:19 -0500
Subject: [PATCH] clippy complaints

---
 interp/src/flatten/structures/environment/program_counter.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/interp/src/flatten/structures/environment/program_counter.rs b/interp/src/flatten/structures/environment/program_counter.rs
index e6fd6d5a1..d86b3ec53 100644
--- a/interp/src/flatten/structures/environment/program_counter.rs
+++ b/interp/src/flatten/structures/environment/program_counter.rs
@@ -66,7 +66,7 @@ impl ControlPoint {
         // Remove first element since we know it is a root
         path_vec.remove(0);
         let mut string_path = String::new();
-        string_path.push_str(".");
+        string_path.push('.');
         let control_map = &ctx.primary.control;
         let mut count = -1;
         let mut body = false;