From 58cea1b8ffb02bc546ddb56a669d4094390d4809 Mon Sep 17 00:00:00 2001 From: Stefan Monnier Date: Sat, 12 Jan 2019 19:42:37 -0500 Subject: * pg-init.el: Add subdirs during compilation (bug #413) * generic/pg-user.el (proof-add-completions): `proof-assistant` can also be the empty string :-( --- generic/pg-user.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'generic') diff --git a/generic/pg-user.el b/generic/pg-user.el index 57d29f18..d2259ef8 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -3,7 +3,7 @@ ;; This file is part of Proof General. ;; Portions © Copyright 1994-2012 David Aspinall and University of Edinburgh -;; Portions © Copyright 2003-2018 Free Software Foundation, Inc. +;; Portions © Copyright 2003-2019 Free Software Foundation, Inc. ;; Portions © Copyright 2001-2017 Pierre Courtieu ;; Portions © Copyright 2010, 2016 Erik Martin-Dorel ;; Portions © Copyright 2011-2013, 2016-2017 Hendrik Tews @@ -558,7 +558,7 @@ last use time, to discourage saving these into the users database." (defvar completion-min-length) (declare-function add-completion "completion" (string &optional num-uses last-use-time)) - (when proof-assistant + (when (> (length proof-assistant) 0) (mapcar (lambda (cmpl) ;; completion gives error; trapping is tricky so test again (if (>= (length cmpl) completion-min-length) -- cgit v1.2.3