get rid of nodestack

[c11tester.git] / classlist.h

diff --git a/classlist.h b/classlist.h
index 24c635fd352d550fabb9f7777172095c43d95b60..e6a5e4ec7e2e091673d569ea6db118d53649b4d3 100644 (file)
--- a/classlist.h
+++ b/classlist.h
@@ -9,8 +9,6 @@ class ModelAction;
 class ModelChecker;
 class ModelExecution;
 class ModelHistory;
-class Node;
-class NodeStack;
 class Scheduler;
 class Thread;
 class TraceAnalysis;