From 37f93ce320eb6231758024caff39a0f6faaf6825 Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@princeton.edu>
Date: Wed, 6 Jan 2021 23:36:19 -0500
Subject: [PATCH] Update eval_env.py

---
 eval_env.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/eval_env.py b/eval_env.py
index 3991c03c..5d4dd6eb 100644
--- a/eval_env.py
+++ b/eval_env.py
@@ -7,7 +7,6 @@
 import json
 import sexpdata
 from utils import update_env
-from gallina import GallinaTermParser
 import os
 from glob import glob
 import pdb