From aecb11873dde5425c1acdf8791736461f3628b14 Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@gmail.com>
Date: Thu, 17 Oct 2019 16:03:33 +0000
Subject: [PATCH] Non debugged compression of integer fields

---
 src/main.c |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/src/main.c b/src/main.c
index 47cf2a8..92df3d8 100644
--- a/src/main.c
+++ b/src/main.c
@@ -15,7 +15,6 @@
 #include "poly.h"
 #include "sh.h"
 #include "shcomplex.h"
-#include "dumpstate.h"
 #include "restore.h"
 
 #include <fcntl.h>

--
Gitblit v1.9.3