diff options
-rw-r--r-- | hol-light/hol-light.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hol-light/hol-light.el b/hol-light/hol-light.el index 3122360b..001779ca 100644 --- a/hol-light/hol-light.el +++ b/hol-light/hol-light.el @@ -22,7 +22,7 @@ (list (format "#cd \"%s\"" hol-light-home) "#use \"hol.ml\"" (format "#cd \"%s\"" proof-home-directory) - "#use \"pt_tactics.ml\"") + "#use \"pg_tactics.ml\"") "*Commands used to start up a running HOL Light session." :type '(list string) :group 'hol-light) |