X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=include%2Fcdsannotate.h;fp=include%2Fcdsannotate.h;h=bb6e3d6e469c4b04b24015573bbca836d387b44c;hp=0000000000000000000000000000000000000000;hb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f;hpb=5c4efe5cd8bdfe1e85138396109876a121ca61d1

diff --git a/include/cdsannotate.h b/include/cdsannotate.h
new file mode 100644
index 0000000..bb6e3d6
--- /dev/null
+++ b/include/cdsannotate.h
@@ -0,0 +1,7 @@
+#ifndef CDS_ANNOTATE_H
+#define CDS_ANNOTATE_H
+#include <stdint.h>
+
+void cdsannotate(uint64_t analysistype, void *annotation);
+
+#endif