diff --git a/lv6-ref-man/lv6-ref-man.pdf b/lv6-ref-man/lv6-ref-man.pdf
index 4696cf0f2ec2f71c3bbd43792cd2613eeafd9c38..9f8be12c5fe63f7b0fb1c022c3a2c3c5e15edb68 100644
Binary files a/lv6-ref-man/lv6-ref-man.pdf and b/lv6-ref-man/lv6-ref-man.pdf differ
diff --git a/src/lustre-v6.mldylib b/src/lustre-v6.mldylib
index b73a63246b57f0c4777bf5b67255bf0ab48b1808..1ebbbce746526a3dd393c8412f53f988ec81f55a 100644
--- a/src/lustre-v6.mldylib
+++ b/src/lustre-v6.mldylib
@@ -1,5 +1,5 @@
 # OASIS_START
-# DO NOT EDIT (digest: 4cf9f01e783e28cb816b23025ed9d4eb)
+# DO NOT EDIT (digest: 5c7b47e987f6fb83d66e17b4cf92b6f2)
 Lv6Run
 SocExecValue
 SocUtils
@@ -68,4 +68,5 @@ L2lWhenOnId
 L2lNoWhenNot
 L2lRemoveAlias
 L2lExpandEnum
+Dbg
 # OASIS_STOP
diff --git a/src/lustre-v6.mllib b/src/lustre-v6.mllib
index b73a63246b57f0c4777bf5b67255bf0ab48b1808..1ebbbce746526a3dd393c8412f53f988ec81f55a 100644
--- a/src/lustre-v6.mllib
+++ b/src/lustre-v6.mllib
@@ -1,5 +1,5 @@
 # OASIS_START
-# DO NOT EDIT (digest: 4cf9f01e783e28cb816b23025ed9d4eb)
+# DO NOT EDIT (digest: 5c7b47e987f6fb83d66e17b4cf92b6f2)
 Lv6Run
 SocExecValue
 SocUtils
@@ -68,4 +68,5 @@ L2lWhenOnId
 L2lNoWhenNot
 L2lRemoveAlias
 L2lExpandEnum
+Dbg
 # OASIS_STOP