(src/lib) sync header

rems-project · Feb 7, 2025 · fffada5 · fffada5
1 parent 5509fd7
commit fffada5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/casemate.h b/src/lib/casemate.h
@@ -6,7 +6,7 @@
  * Casemate public interface
  */
 
-#define CASEMATE_VERSION "2.0.0"
+#define CASEMATE_VERSION "2.0.1-wip"
 
 /* auto-included by Makefile */
 /* Types also defined by UoC's pKVM ghost code headers