Commit 05031629 authored by Heiko Becker's avatar Heiko Becker

Update daisy to latest changes

parent eaee6284
......@@ -4,6 +4,6 @@
url = https://github.com/CakeML/cakeml.git
[submodule "daisy"]
branch = certificates
branch = certified
path = daisy
url = ../../AVA/daisy.git
Subproject commit b801379405021120d0dd2b8d3a3a886c84a114a4
Subproject commit bed4b63d6c4f957bce0ee8ccea6da2c9306fbf94
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment