From 20ae742e391a8db65e203213a124126ce8621fe1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Tue, 25 Aug 2015 23:29:52 +0200
Subject: Replacing old-style preferences in CoqIDE.

There is no remaining global preference record anymore, every preference
is now defined in the new event-based style.
---
 ide/session.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'ide/session.ml')

diff --git a/ide/session.ml b/ide/session.ml
index ceeb0abca..e4cc17742 100644
--- a/ide/session.ml
+++ b/ide/session.ml
@@ -8,8 +8,6 @@
 
 open Preferences
 
-let prefs = Preferences.current
-
 (** A session is a script buffer + proof + messages,
     interacting with a coqtop, and a few other elements around *)
 
-- 
cgit v1.2.3