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