diff --git a/fstar-mode.el b/fstar-mode.el
index a6b4896..c178a2d 100755
--- a/fstar-mode.el
+++ b/fstar-mode.el
@@ -5511,7 +5511,8 @@ its `find-image' forms."
 
 (defun fstar-teardown ()
   "Run all teardown functions."
-  (fstar-run-module-functions 'teardown))
+  (unless (buffer-base-buffer)
+    (fstar-run-module-functions 'teardown)))
 
 (defun fstar-setup-hooks ()
   "Setup hooks required by F*-mode."