Updating default.xml

Change-Id: I546d357fe5e424970ed680a9a8415857c4755501
seL4 · Jul 1, 2024 · 242bb41 · 242bb41
1 parent 8fb64a5
commit 242bb41
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default.xml b/default.xml
@@ -13,7 +13,7 @@
   <default remote="seL4" revision="master"/>
 
   <project name="cakeml_libs.git" path="projects/cakeml_libs" revision="0d3f232e795a7e79bd3ecd831636507711275a0a" upstream="master" dest-branch="master"/>
-  <project name="camkes-tool.git" path="projects/camkes-tool" revision="f7be6b4fbde1c7ed3b78881966ebf4efd8ceaee7" upstream="master" dest-branch="master">
+  <project name="camkes-tool.git" path="projects/camkes-tool" revision="cfa9e602b8ee4c0f4c08e390d67cd71c42186fc6" upstream="master" dest-branch="master">
     <linkfile src="docs/index.md" dest="README.md"/>
   </project>
   <project name="camkes.git" path="projects/camkes" revision="3eff84e818c1f8de1b286ed17bc13f220a7555c5" upstream="master" dest-branch="master">