X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=12ec06c060a999e256dfb57ea0088c97a09f81c3;hp=cbd1027cf3c6874227ddf3ce9631cbea69b6eb82;hb=2b004336a919f74a5ca8f6d87ad5414360a949c7;hpb=ed73252cff03383a802a9608a97e5234bc90fcc4

diff --git a/model.h b/model.h
index cbd1027c..12ec06c0 100644
--- a/model.h
+++ b/model.h
@@ -6,7 +6,6 @@
 #define __MODEL_H__
 
 #include <cstddef>
-#include <ucontext.h>
 #include <inttypes.h>
 
 #include "mymemory.h"
@@ -15,6 +14,7 @@
 #include "config.h"
 #include "modeltypes.h"
 #include "stl-model.h"
+#include "context.h"
 
 /* Forward declaration */
 class Node;