From af20e00671efcf6758949bd2e65378e564f1674b Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Sun, 11 Jul 2010 18:49:44 +0400
Subject: [PATCH] Remove stray field

---
 main.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/main.ml b/main.ml
index bdee6a4..0bfd1f1 100644
--- a/main.ml
+++ b/main.ml
@@ -129,7 +129,6 @@ type state =
     ; mutable outline : (bool * int * int * outline array * string) option
     ; mutable bookmarks : outline list
     ; mutable path : string
-    ; mutable sconty : float
     ; hists : hists
     }
 and hists =
@@ -184,7 +183,6 @@ let state =
   ; outline = None
   ; bookmarks = []
   ; path = ""
-  ; sconty = 0.0
   ; hists =
       { nav = cbnew 100 0.0
       ; pat = cbnew 20 ""
-- 
2.11.4.GIT