Add -*- lexical-binding: t; -*- to generic/proof-autoloads.el

iwahbe · iwahbe · commit 75fa23724acc · 2025-09-23T10:50:55.000+02:00
Fixes #845
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el
@@ -1,4 +1,4 @@
-;;; proof-autoloads.el --- automatically extracted autoloads
+;;; proof-autoloads.el --- automatically extracted autoloads  -*- lexical-binding: t; -*-
 
 ;; This file is part of Proof General.
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-;;; proof-autoloads.el --- automatically extracted autoloads`
	`1`	`+;;; proof-autoloads.el --- automatically extracted autoloads -- lexical-binding: t; --`
`2`	`2`
`3`	`3`	`;; This file is part of Proof General.`
`4`	`4`