From 26dbc9d6f2323d28677535fcb97cb49ee8742b17 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Jan 2011 10:17:40 +0000
Subject: Type-check on integer settings

---
 generic/proof-utils.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 0b73803b..d5ae9547 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -543,6 +543,9 @@ It was constructed with `proof-defintset-fn'.")
 			     (format "Value for %s (int, currently %s): "
 				     (symbol-name (quote ,var))
 				     (symbol-value (quote ,var))))))
+	      (unless (integerp arg)
+		;; type-check to avoid customize type mismatch
+		(error "Value should be an integer!"))
 	      (customize-set-variable (quote ,var) arg))))
 
 (defmacro proof-defintset (var &optional othername)
-- 
cgit v1.2.3