From 0a2c81d28b72c6ab68ad418130148b144da90309 Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@fe.uni-lj.si>
Date: Tue, 05 Jul 2016 14:50:38 +0000
Subject: [PATCH] Some minor changes

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

diff --git a/src/general.h b/src/general.h
index 74293de..9fefc5b 100644
--- a/src/general.h
+++ b/src/general.h
@@ -284,6 +284,9 @@
 	long int mcsweeps;
 	long int quiet;
 	long int shc;
+	long int number_of_vertices_with_c0;
+	ts_double c0;
+	ts_double w;
 } ts_tape;
 
 

--
Gitblit v1.9.3