From 701b7ed538eb34430054b0e87eb076690d798449 Mon Sep 17 00:00:00 2001
From: Taeer Bar-Yam <Radvendii@users.noreply.github.com>
Date: Thu, 10 Aug 2023 11:16:57 -0400
Subject: [PATCH] use get() directly on the terms HashMap because we don't care
 that the term hasn't had it's imports resolved (#1522)

---
 core/src/program.rs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/core/src/program.rs b/core/src/program.rs
index 6b01a25718..199bca155e 100644
--- a/core/src/program.rs
+++ b/core/src/program.rs
@@ -175,8 +175,11 @@ impl<EC: EvalCache> Program<EC> {
         Ok(self
             .vm
             .import_resolver()
-            .get(self.main_id)
-            .expect("File parsed and then immediately accessed doesn't exist"))
+            .terms()
+            .get(&self.main_id)
+            .expect("File parsed and then immediately accessed doesn't exist")
+            .term
+            .clone())
     }
 
     /// Retrieve the parsed term and typecheck it, and generate a fresh initial environment. Return