From bd221077dabdfe4d42757781a340f8f3e9f4fe24 Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@gmail.com>
Date: Wed, 03 Sep 2014 20:12:23 +0000
Subject: [PATCH] Fix a major screwup in dump. Clist and Tape is not restored from dump, so it must not be included in one!

---
 src/general.h |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/general.h b/src/general.h
index e35310b..3238245 100644
--- a/src/general.h
+++ b/src/general.h
@@ -261,6 +261,7 @@
 	long int R_nucleus;
 	long int pswitch;
     long int constvolswitch;
+    ts_double constvolprecision;
     	char *multiprocessing;
    	long int brezveze0;
     	long int brezveze1;

--
Gitblit v1.9.3