# HG changeset patch
# User atton
# Date 1466061807 0
# Node ID 23b9717a5c14e4ff8940b3a378eb082683003ad1
# Parent  9240d7ca8b5d4c957877ad4d9e3e7966cf00da71
Fix include

diff -r 9240d7ca8b5d -r 23b9717a5c14 src/insert_verification/verifySpecification.c
--- a/src/insert_verification/verifySpecification.c	Thu Jun 16 16:21:04 2016 +0900
+++ b/src/insert_verification/verifySpecification.c	Thu Jun 16 07:23:27 2016 +0000
@@ -1,7 +1,7 @@
 #include <stdio.h>
 #include "akashaLLRBContext.h"
+#include "akashaCS.h"
 
-extern __code meta(struct Context*, enum Code);
 extern void allocator(struct Context*);
 
 /* C functions (TODO: convert to code segment) */