1 files changed, 3 insertions, 0 deletions
diff --git a/.emacs b/.emacs
index 61d2b51..a82ea45 100644
--- a/.emacs
+++ b/.emacs
@@ -18,6 +18,9 @@
 (color-theme-initialize)
 (color-theme-charcoal-black)
 
+;; use Poly/ML as SML interpreter
+(setq sml-program-name "poly")
+
 ;; key bindings
 (add-hook 'proof-mode-hook
   (lambda () (local-set-key (kbd "M-c") 'unicode-tokens-insert-token)))