FUEL: unused function removed

diff --git a/misc/fuel/fuel-debug.el b/misc/fuel/fuel-debug.el
index 1a3d4ddbfad91e78ee629bfc5b189ffb2f359c81..25e3cf6e4ae88a906a50d27b1a0806e24e569cae 100644 (file)
--- a/misc/fuel/fuel-debug.el
+++ b/misc/fuel/fuel-debug.el
@@ -185,17 +185,6 @@ the debugger."
     (when (not (member n ref))
       (put-text-property 0 (length n) 'font-lock-face face n))))
 
-(defun fuel-debug--insert-uses (uses)
-  (let* ((file (or file fuel-debug--file))
-         (old (with-current-buffer (find-file-noselect file)
-                (sort (factor-find-usings t) 'string<)))
-         (new (sort uses 'string<)))
-    (when (not (cl-equalp old new))
-      (fuel-debug--highlight-names old new 'fuel-font-lock-debug-unneeded-vocab)
-      (newline)
-      (fuel-debug--insert-vlist "Correct vocabulary list:" new)
-      new)))
-
 (defun fuel-debug--display-uses (ret)
   (when (setq fuel-debug--uses (fuel-debug--uses ret))
     (newline)