X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fclasslist.h;h=3986a3051927f4ba1204957062112539240ffd88;hb=342c3e59b76a3e79741a0867f7770255eaa82c63;hp=c1820638d4eb5691db6aaf20f712cff44bc4edcc;hpb=277157ed17fd19fe51ae9ed82921c8f371d6ccf3;p=satune.git

diff --git a/src/classlist.h b/src/classlist.h
index c182063..3986a30 100644
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -72,7 +72,10 @@ class EncodingGraph;
 class EncodingNode;
 class EncodingEdge;
 class EncodingSubGraph;
-
+class SignatureEnc;
+class Signature;
+class ElementSig;
+class SetSig;
 struct IncrementalSolver;
 typedef struct IncrementalSolver IncrementalSolver;
 struct TableEntry;