From 80ebbe388f3e945e62f47b0141c660ee6f05c8fc Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@gmail.com>
Date: Thu, 17 Oct 2019 17:06:50 +0000
Subject: [PATCH] have some kind of memory allocation error :(

---
 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