diff --git a/gen_input/CoreDSL-Instruction-Set-Description b/gen_input/CoreDSL-Instruction-Set-Description
index 32a985d..8f72c66 160000
--- a/gen_input/CoreDSL-Instruction-Set-Description
+++ b/gen_input/CoreDSL-Instruction-Set-Description
@@ -1 +1 @@
-Subproject commit 32a985dfdf81345e01122a54588ecfa9b8645312
+Subproject commit 8f72c66a579608bafb7f48e64ed4bb16920e1214