From: bdemsky <bdemsky@uci.edu>
Date: Wed, 21 Jun 2017 22:40:52 +0000 (-0700)
Subject: edit
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0c5f9eae55c57436708ec8d5649b352bfda833a9;p=satune.git

edit
---

diff --git a/src/classlist.h b/src/classlist.h
index c5eca51..3c7d071 100644
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -82,9 +82,6 @@ typedef struct OrderEncoding OrderEncoding;
 struct TableEntry;
 typedef struct TableEntry TableEntry;
 
-struct Struct;
-typedef struct Struct Struct;
-
 typedef unsigned int uint;
 typedef uint64_t VarType;
 #endif