X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.h;h=0f1e8aed1e243dc3a05d4b7fa666e33fca400c71;hb=f9fe0087091f88deeb814d0768eecdfb1b51a94d;hp=6810fee665a6b018cbec1c353b12f22667a8c42e;hpb=a726f5f6e1e0731a0516be1e9e23397744734ef5;p=model-checker.git

diff --git a/execution.h b/execution.h
index 6810fee..0f1e8ae 100644
--- a/execution.h
+++ b/execution.h
@@ -14,7 +14,6 @@
 #include "config.h"
 #include "modeltypes.h"
 #include "stl-model.h"
-#include "context.h"
 #include "params.h"
 
 /* Forward declaration */