diff options
Diffstat (limited to 'phox/phox-sym-lock.el')
-rw-r--r-- | phox/phox-sym-lock.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/phox/phox-sym-lock.el b/phox/phox-sym-lock.el index 38d93441..d29c03aa 100644 --- a/phox/phox-sym-lock.el +++ b/phox/phox-sym-lock.el @@ -14,6 +14,8 @@ ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;; GNU General Public License for more details. +(require 'proof-compat) ; compile warnings + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; History ;; |