diff --git a/spec/design/version b/spec/design/version
index 4a20d1ceb..370604379 100644
--- a/spec/design/version
+++ b/spec/design/version
@@ -1,5 +1,5 @@
 Built from git repo at /net/nfshome/export/home/insecure/jbeeren/work/test/seL4/haskell by jbeeren
 
 Generated from changeset:
-d59b73d Remove redundant IRQInterruptControl invocation, and replace with a mechanism to actually decode arch specific IRQ invocations
+6e169c1 archirq: rename missed label to invLabel