From 1a1156b5349f8c555ce912aa15324d4ebd7d68cf Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 17 May 2019 10:05:46 +0200
Subject: [PATCH] Fix: this oasis generated file need some update after Pascal
 change in the list of modules

---
 lv6-ref-man/lv6-ref-man.pdf | Bin 323628 -> 323630 bytes
 src/lustre-v6.mldylib       |   3 ++-
 src/lustre-v6.mllib         |   3 ++-
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/lv6-ref-man/lv6-ref-man.pdf b/lv6-ref-man/lv6-ref-man.pdf
index 4696cf0f2ec2f71c3bbd43792cd2613eeafd9c38..9f8be12c5fe63f7b0fb1c022c3a2c3c5e15edb68 100644
GIT binary patch
delta 3566
zcmai0c{mj8*EWk8#u)pSZ48s0F<Ay-tl0)35^7BG+F~$dpBcO_-t0?*D3m23R7l&5
z6rvE-v|v&)GRRVvN}qn$@4K$=zweK8KlgQ?bDrn9&UKyhJgppwc8)|5nvo<A)TYK4
z5nKi^qW`S^l8SR>4Y<B=GFJNgn4h;@rp&jZ<?eSjXY1ZHY_Far=%X%u{*e~q&@ZO;
zK4e`vW%=gFMH_lazpOnc0`CdD4J^^Pb(16V^+~GNd_eJ;t%bw`aql~f(v5~KedEj5
z)9zeQvY{dZ_dcAn641%g%R3>eP>#e#Go6H%0&F4&H8;azWvUW<Zt~xC%xw}K@zW~q
zf4wlS{Oajxe?(x8X0On6IxJX1Mgs|h29&a8opTs<mV^(lcTG`U;d#sBr{)8$oN?f!
z-kBRJJh9qlSaxD|{-@XoI)-wyQ0U{BRgdKlh`Y64DS#}I=?chp1^hAKzJYpN0pO`|
zEfWI_28%J##$eSk7<EmUJ|X&yT@WQ0sbOb^#Tb}kj12x8(&PLBye)DRV}v!bu{Azq
zjkPy0GBvffF+OB#WMglG!8kZzjEqe!k%#}^kU*HeYjD(Glu+cML#CyeL`}xMIj|6Q
zwv=74tk!*6{rR_^)9Mcf?%;Ai4s6~2$gX7HF-sr`w#+nVX^GksT+m9KAUm-%zN2(e
z;IZcN3ohuX&%*g;0>>n!CQw-?67f<Z&002BY(`R>M0UF35`L|&R7Z#WH5TG`A??J|
zF3*FNI!(X3F#b=q;#3+n#4f5nnepVuPzTl}BiL8{1Y2?fRT2tAjG9#v%GrTcw`&X7
z1d_br5=)xYlhZc&9@gF9azJ0~uI){Lq4+zu$ovoqwi{2h^PS;EYoSg{Qcq}ihT?#m
z#9gO2b+&zE8C$sOY;6tOkMue$fi^v$CwkZ6rUa#-;)ZIsbDRj<B~qwUs%n}@Rqpg5
z`G&1Pp*c0kkT4~1c21kbU7HPz2IIv;Ez*c#3SPf6h~#2eNV6n)4d_kspht3xd;YPn
z8f5Zy29p?}hzu1{RS$pFBM#2s*~H;zV&sg9&l*ih;?>RuO{P^>k`CmFUq>3dY`}3Y
ztrywwXK}<l_EFNL;aFx2=`D53%TS+oet_H+RPq^Iq1JdZ%uD3b!EOg0ieNFJ(<w~a
z^-3;Y{Ni%-MpAX-3<qei{MUW>a<x54d*DfE_@Lf?MO>q;OH2CN=hpJrepOZD*9WFR
z_tVOQ$}9SeoxSY)+<0(<WwUZj{N2u)0k;Wndg+@+u1e!{`}(ZPE2;|*Oi;v`)ysyf
z2rsl+Lt6`;5DLuU$!e<di=v8b_yTiV80GiUDn9!IBSr%mL{x(+4(H9*eq<b#r%Yje
z9vL$Qg!5@Ja@`<@)1iPoRtE^P-mk|@6k4Vol}-RX@!<mVnmc4L1^t#xt{{}}^g*sY
zR?DXRjM2;FZ`o9QrT@#eD||bT`0zUzu&9Lsl&i=cz^_93EQ$*8^*}lJRpX+K{q55D
zj@jHe<Nsyz-sx)38zQfP;*bIO#}cE|tJ%niich^*|7Mv+bVT~et>=!fe&t1dI6<U9
zM+JpSZr^V+7u7qSPSkIP{Gb)IS=2IYMR6D&sEYq!7nRAA^+CUzZLx~C?V1?VQ?LeZ
zB;qfV8F$>&w~dB(XXb}7?V{<I{GtOIf_xB5C20%6)BgM|ENKtTH&dYLqo8nW#b&5k
zj|nZL<5*Wi^dc+2xo6l%B9z}OriU&)9Od>U#+?3qMiIZT5H+s%=80{xqdIr4s`BjM
z?Ks0mYT&u7wqN)yCCCr86fR@82Wl<C<sZcRb*aCl+}Jy7g@Zv@qOt%`N!lH+LV3s_
z%Lya&nW=_Tc@wAnC8nttX)!NHM&!{qhzbE<2_$rb2nYb4=U|TmM>wz!j@EI&b<Tla
zL=^2JN4i(|6;rVTVN5#^BT^(cW|RUzQ#}CiW^f{BjTtf5#DWvj+TEPK=l@<5A!Z$c
zJd`444GN4Mnkh{iE1g!&Sx8!0W0oem&!x$?w1R2`U(=qK_9S}bcRcn!p*BHHKjnVS
zoo9i+Jh?shZ7~me^78N*)>5ggYN{NEJ_y=RQ%3%{#7lYq6~rfUSSe9_)#)Dfh-+bd
zI*j7@eeUdiY45er5AO6yqGT=2O6V)|<9=2lbPtG!6v9s~lvu8;oAp9`Sg>B0PA~8R
zOB^p%n5%U0uyIo4I{Q=S@RG_OJY70?u#oV7<o^}!g<MvTkyA~r`g(Hr(sw{r5`07U
zGu2=;IyL|TF2nO<YQ??dgwAuskMnJm+<$$8+RY!y{|*ld1rvzop%C3#DIT9WOK%+V
z)*8wdHnWytgT7}(b%^kwP^L9mKmpR1x&-J8H3w3zy%M3&6X4vgNYN>JGFfTL`TOo<
zvVWiRWN>BsBR8PWsrgBok?#(i^M-oT68eP8P#6Ue_#&>Z!z<9nphlKtrx0!4CrRn*
z!Yldw<aI%2)%DT2YpIF>z}DiYzShYO_jfXsQsp{4wER0@?eup<`>r0VkyT+bv^7(h
zEb|_e$iY2-Iqq6me~wyDxJ4e~6tRv0(h%RzkG6AFG&mm2I+`sY8;Ia%406HZR2WW@
z{6{TTI+CnldQQ_qIW^EdR~})a5QV$-A5R@^Ny;F30pX%>0T;W1aQr@zHcdw&tQ9hF
z@5!L6e~G*D1qzpjojY-LuV_yWiwpc$HDA7jH|ZOnt@pT?wMa^l<rK*Say~WMnO%OF
z>C`p(x6zw(A5qWT7ZHI$$5rz$g7z=)c=5K*dH7GiLe;f`0dsJS5NiHN{Gb#K9>q`0
zdL)o-i^zUYU=A#MFsDW3j(t;jfzyfE4Iik8=@ok;e?4qQ;!bm>+ML6g?i>MeZTm|<
zi&v1rV!Egkc8u0VFpAoxJe=Oje_UK{t<&Mmj@W(RtsGZ5F%#6TU1MGjTucu2z%Dg+
zTim^9MTn?S4K-^Vqu=DfW%);e#m{pcB`Q5ovG$+y9p_YY3x`CDRqCBTrD>OpIO?gw
z>?CtWp~VA7#FZ-#qeu<|dCA?Xs2=aV9D<nON6mKoIznphF5~DIunhHQ>0a}La9z-5
zE?1&5Z2#=d+}+X1s25GYVleQ3n8@)0=Jg!M;>v?Fl1aRX<N_lac}+>5bU1SEpCOqC
z%_%0ii}hO-LtEL0svzDO;T|fnzoC6sU{e`p9a2|$RvT3-ZBXG_F~iKWsIdoEQZ6zR
z#$gGx8lp@nXt@@|qe5zGg?NAzYZEr~dnSm3#DNi+ST5i`M}Q0Z#nHe)AWWnzaQ`)v
z1*kKf$gsRjAr7j7uapRL&6L}pJ$S@t7O)pA%?j=SU!Xtm^RHc<)W*-&k7Y;~M@NPK
zu7SL!J#e4pGhykH<y-0IM8!zjUA)9)?6a(5WG$Gg#TVW0-2;EAYfBjMsK!b*!O@zw
zPES2@u#)xgd3D>JVGjycvIgF8(DvG}2N5e-0S`vo`VD)yVkJxAXf<2GVGkTuvH(7h
zvb{6pp@x;rg*T|!h7Ea$VkNWS!AM)VA&;L1l2kZa*>-r)gKL0(HZM!m)4bNYV0Y=a
zz?GS#l5gL9;~C3KU^D)jA@}S}h7J!Lh&QU0o&u~qi;b4H*2y>y?i3)cG3V%yLFb{;
zBCW|xQr=uy=a=z3$F)l*9ZH9+GNS6r>@{6{&fXl7*Iz;?bTLMGV3aWTbnz2x`CCm4
za{WRJ;|C9n7D43%TZb<SyVUb;4VgcjWaut~vD6u{ou#qOPXeAD$7=2CcBUnhey8OJ
zInmL7zk1ejm04ml>-A>=y1;ZaZ((p64V|XH0Q>YSUCcgN@8?qdG^^E<Xtxiwcsh{Z
zSc>gU^qM#*eroa|@(2GLeaFxVmGxB_3KT0j<bkxM!}<S99QjL+(h1bZO2zJa+*wq>
zgnC2O?{EndSl_kr^gHSeZ%_T@*^+XoZqG{4e?;(IJK8W6UAI=A)%Z{?l4?~KY*ZJo
z8Z@|*Ra1!O^;L{tP`{;rkdkT{wB;gLW97!(CG=k^>e#Zj*)kXWVd;n)uO^c%K8!QO
z5x=$Snsn=Wv_A|@3Z_wiI{#J{FW9sAAnR+!<QKNA#B4hDe+}(l>&z<F`uZ+QVobgI
z-eqz)>ci$o!7H<FxSM6<?;o<_+#{a()}7BPsemd+c%7f!Zvib$LX9icz=DC<2<_*^
z3C8_Q-LvceIiL0St1Oqh64KWt^h^%wd_(K3y7ywsh$&2ULG5qU<oW|1LYwAx7Hr|E
zjy9saqfD>a4eEqO!$J$?x|6e2>tx%qXENEhr>bFdZGm##UaRk6i+`Kv+E;x_M7H<6
z?YgMtvVVOo?`8ygid}lqW^52>-ShVG;g|LPibMhK*1sQ#cBB6A>ZjEQQr%9?Zywu+
zDNfwUh1eC{g_&6De=tgWp*uE8JDM-QR`6?}Ml?j1=B~Gc=#bz6&(<oE!%Wl4y~4+?
zNqjC7h-=9-ou8`i4}YMnzy}4)R>pqeno51HE=hG0wzL9n&y{U~9z=ZF|CP#uDRyp0
zK2hu}f!mO>%V0@BoTdAGs_M{=M$raZ%?hfax3J*F!g0L3)5To*p5jf%##0ZB^8Na^
z>GJZn8)NMJ&aZQa3|4>X{;&!Pyr>5Yjye-Zi46`q`-er7!eMcgpjb*`Y;Xwdkb$YG
Ni2)3aws&`c{SP8QP|W}U

delta 3473
zcmah~X*d)L+n$Zd*mq+$wi!`l&2GketR*DjG#I55vKP_JSjOO#-DJy9ma>FSbgV<8
z>`kJkY?H)bkP{))+j+0|`~Cg6@8^E5XZiD7&viGk#T(e-IqD#NBPv!9gd)V|oOWiQ
zMFuvHB%)pDc>Vp(Eo8%R6+*U)qZru!H0^`+6X&hz>5|`V&BsP>jvnZ$vcZrUiG_*;
z$;`2*Man$w=VXr=(sJbsA*wmYH<jf-7N*uzxyWKS##ao^&g8}3YWdsJE4FZ_$FK2#
zRT1PM9Pl#*GgjCZg+&+4$Xw+gMQ(JxqRbi(SYF!*dNY2-Ek8@!{DtSZd$B~XW%`e2
zrov$+F}j~W8pUmTXqWzl!QR{`0M`i2U&vQ^Ws_90@ED9l<o)5Y&b)ZG=8VWlWRL%)
zpRS|X%`P(JTN{xXKfb>3NA>`foxO`wtbplOz<&Yy1#r6+5VFLC8lg=LjP*>Y+7l4@
z|4Z6WPeAsB-3^V5P8sT9O^o%h)_Pd1f!!&zfvuj2jiJ4sG1^*R*HYR1|84PyopcEf
zzZ?^ytZ#tM*Ns3C)Qf#X6&)mryN8NqE#-_jE~A~15v2L!6Dwn#;mBp($=~aU6EhQE
z4%8eUsM1k(N}IIy4fmQy275mEC%F#5hdnrZKGjL-!q!>xIG8zsz!W_C?O3WONu*sg
zS#N&GriWYR|FhF<x%B<}Cq6~NN(HSA1&$h7E4|vIg{{K`KMKl;v6Ru$?g<oVF&|hp
z3OSdo6-cGbR{zZxsu5SrQYe|Cky%<T(*{@jqyn!p!e7t8+NzyPv_*YueW0ruVVZII
zm%uDHE}%uuKn^S3Vi|bV;5xCKVNYqC2<6pb*k}0HzK4CF+!pP$f1<!e#F1HEC7oD@
z%zfEFZ$iih@McDsN}Kf)ajt4x3M;t8pH|9>3@lo@6+vX_1X4r35u;E?^@ui?ugV<t
zxB`~gm<=tPWzdpkaL^YJxY)P>8dJp)S$ZvB4WNA@x?|IbvHNTp-Lco8v4DuOyGzL0
zcu<*(Zmmg4tqI6J!%L*}emv|?(KR(A=V*C?i-?&^D0%4$+R^3UR>=}PqDaQ=t?O%Z
zXbt6|_lL=p%amEQxT2bSA$M3|f!{q6a#vQJ-5<y2)y%OGy6cy_1=h>>8Rsaj%*i|c
zh&DHuYuNm}j;4jaKUp%auAJb&RnlC~a75bO4kITIyAFG<gzma&Av(6Rr8A@a!9x&1
z^NDL@&fU1q;a;}}Dl4+YG$O`UchXvR+^1aVyuxic`FCI;r?}N#)A3lGei``FDGJ_;
zFsVSk_@a`SO3IawQPaPba_6Fb7}I^^yx=rI)nF3*BA6v4bGwoc&HLPqKFF^_+>-hL
zxUbCx{n^L_%D4xd#L1^65nqdU0D}k`96LQN>q7jB*n3mJ@XVud1>Qj=Uchj=3X$_s
z2D6FL<V`rmTqh+$#3ToC%1=pU&=<ZOaGh9!`t;d{%jN8XgrsLuIcViecMBReP9_{{
zC8O>ff0C9EVBh+pHg>ZCU!J`t)x=|eonF?A^jUiq3+?9_5$5ug(k*F0R|&$L&ms^Z
zfdk?tQie9#jC?#Vc53akKQ(lFE=~0}oT4yCd;|S%1w!y>?P-tKbJ0qzxcs)%^UB@A
z=Q>08l78PkM{>pS*A;|*51ws-d#1>q;g1P_48D!4$2(t~Oj&ckmeR=E4CXLqVI^w5
z7L6|r!R6i4r14kfG}qQ?IYPo<IJ3`Cf7<Pj<q((74G~{|%<ea0Ql7;Z|D)+6wlasu
z0prt}UJ~>8N0^nd0B@g&3@<n@>5*Nw8SD;8949oIf{O5K)trC#$t?<-FzkVocOkyP
ziIwpzV}zvW2xH+B#4H@2c8W7Sc?8Gf2lVbUj8JGuHjDtzK-Sm<sb_+dluqL4ji&ef
zND>T(QKy5mp}&h;fiGQIjgGz0dh*bh08lm8+iU#A_BZZr-Q(W8$5q6dzlzR=-ecSp
z+w^t+EX6GTqQQ)hx(%H|`?^%yi5(qeub_4^x}ltC*^6D4<y-VM{bKDKNn$~%C&A`l
zZm=D@Ho^G${Gg<4xmy4>=_UB|f<?wIWu;~ObV}UNz0ODPlC>0d4js`TdmwC2mk3o9
zHdnl1{^c@2?*{&hDRn!N`i|}u!P7t-p(i`z;MzdXt-G9-p`iSi8riOjrCo~2zu4R;
zKJ*`I&N4)jaP?cf7*)5wmTxodaflMF_$4|!K=Jt@@5^8ehR+iK*6Py;{|GV`mg-B!
zZ_XY((ZL;O@vdSlLIBfP)ew*w-Hj=50dqVAypEG*37XOso26rtlW6=gDMxGo2iTEl
zb}Z&~+%eACMkNkt{TMU&y>cD!Dchi~h+F8e(?*CXtQpbsPcH{F^bD&K4ZZgzaMfOl
zQ1NYNp(T<A(eP}%)Tn4Fk3O!11*b>VcL64%*LE&g?3>U_>PHtICJL588*+!K*aZ6{
zF5F@dfvfavW5b@o!ikbYa~l(%no?pT_-A;p)BTCiJD=pUccKy`j+RP4*z%_f2*Lee
zlFVgX@8C?HVluUx15qGU5^aF#AR!+4mB<G#bEByfUzatv3!Z(9c>a-W!~fq3?Ah<4
z_pfg>GXgSHmz#WBd#!5BL>MX*8<BLmaN@QLDH`Mb9RJ}qWioEHLM7!*weiF=l_5)H
zO!|p|+`g5-10-GLlz_;PYZmv%Uy3ey<tG}3dP*g(B-&o*`1i|RnK8!z)3w|l2m9dJ
z)CBpA>uPf<6kiF{{A05dKzzh;fU3N`v3!*A;yIvryAANVKi+dH`nONbjFo!PpcfzQ
z@z-W-zcvl}D5!~^LOijv%{h<y=Sy@)N`W1<bp?VT{6z^79lE7<&?1X-#4}!wAx3sr
zBx!c|VahYn*P434ws^{*$d>woGlP1gET#gO&o*G{S_r+MqtLLsJcx4fTn)WS+r`XL
zxm<>Wm{P6^!p636@Zg*pHP_Exf`Sw&7Di-bt6A#B+cN&7z;{B^ZQpwSpty?ieR6EF
ztE8S@g~);S(x{=U5E+7QgoFSIOH&|ui{>KqUHv5YS(mrvPXYS}I=d)a%^B@>mOp44
zv&uDDbE=4oW@WDpXkwutNkqlLqm4Sy6pc5O2X#<EaNK>HY<fmmw$CV6b8ezr5NE~$
z#wA~3f-Yd?LZF@Wa3=5@v708&1^d(FxKJoY7@3knla?odl4wfuybg4L48(?wH0CAu
zMMi+iAo*+oWBzdx3N3hvu6-B$RT;{U6D@;E)9soeMWh}dU)tuI<CyuXmzexPkF^g3
zRkjv$cV!JH*+7zGYn+F+)59X5AqyTg#b_}|0fvX|dUv&`vLm?e3Ov(;yiic77L0U+
z!`#Ej)&-S^c%&6P(~Vq}Upa|K8p2^NWKe!(10H!Cp6N&q%&SbrBURuq2XcRIr5_$C
z4bQYCBXTPZ@JK;8%$l5>Qz?K)g5jA~<b~|Y#USLq49ueD!QW+oQFZmgSii-QYn*aT
zpNps%>gF26l;`%~_3t~>6I_VDO)1u}4meZ#c}_d|Jf!7VpeSR3Gyu+mN(pN#p5Gx3
z$PA!@rYe1M7uplxf(Sx_Yx|kussi=;HuuGy<yfeY&vpxSgbP6k{uWg1v~D0H67S*F
za*X<&3sDzrRerinR(FrHUwmivntEa#qDN@T>N*IsFiGYxk<2RQVL0XRhr;auN0NHl
z+p*>c^gQc%kADNm8K#Z;3vG<7&OjXjf5|T-QM-f_hdb#VDL&P7O0rKih6Lh)g=#fF
zq}Nn=sr5V{V88LVUd&-u`7bKH;t1i9Ih7bP2oC$7$c1U#2bB^sEf7ED-t^i%t2*se
z`m@?~2Fa<hKKR^J@Q9G(_)tS_@`p~qRqy^bXTDfr&B@*z=9l`^^-VPc9Zl|eXO>9`
z^AKY_a>IHp#(Fx@`d~KIf8L38w3B*ANu3+76R<hLSAI>MdthU|+m?D%&j+>4Wq$2W
zO>yPxZsbc>bmb5}d4DIAMC{F`s`{+}qz(4Y^fQzA9MZ+_+*T9d-;3<usug!LFN%ml
z1S~%1yMNKi_-PLMTV?8&!_%dDrk%CpX#LO08mV5vI*8ZV5=AG1u6`l<CZT`kviQ>e
z{^5N-{`mgDr2hRS$Xu_p^i}bq1hFDBu@gI*tZ)(WbC0$Ow!iMp+!T3=lRopjEjdit
zpIrz)%1S_4pgN|MtFL*kzKuh5C)l*hR&Q6Bbxf&AmRC$RDxBTQm5#ky>uJ8*6K?1{
zkhR-Hv(xHV?U>T4`D8fzhxpgM?ps%&Hke*-dGPbVIXv5QX_6iNU90wS)Gy+#_-aax
zzGkvp6ixUq`<k>DM*GGq)IkM_o7VBaOe8UC==%SDl|AwA%;Y@}%~6!-k|#8J_@PPK
zRM)?DLfmvQiQO)PMY}m#{@SVpN{k#n0L~l!qlyCvfJ_m!s!^s0CEi5v@M%CM(WIg_
zsz-D&QDSgkEH4|JIkJBRjpEyrD6HUF1_aZ}E{9lxFOhByym=LuSUV!k=-LX^Sn8e+
a{s{$l6r-s;Um(hSMn*7ob-UB{u>SzBSUZ0J

diff --git a/src/lustre-v6.mldylib b/src/lustre-v6.mldylib
index b73a6324..1ebbbce7 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 b73a6324..1ebbbce7 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
-- 
GitLab