File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -1865,7 +1865,7 @@ and compile infos pc state (instrs : instr list) =
1865
1865
1866
1866
if debug_parser ()
1867
1867
then (
1868
- Format. printf " %a = ccal \" %s\" (" Var. print x prim;
1868
+ Format. printf " %a = ccall \" %s\" (" Var. print x prim;
1869
1869
for i = 0 to nargs - 1 do
1870
1870
if i > 0 then Format. printf " , " ;
1871
1871
Format. printf " %a" Var. print (List. nth args i)
@@ -1885,7 +1885,7 @@ and compile infos pc state (instrs : instr list) =
1885
1885
1886
1886
if debug_parser ()
1887
1887
then (
1888
- Format. printf " %a = ccal \" %s\" (" Var. print x prim;
1888
+ Format. printf " %a = ccall \" %s\" (" Var. print x prim;
1889
1889
for i = 0 to nargs - 1 do
1890
1890
if i > 0 then Format. printf " , " ;
1891
1891
Format. printf " %a" Var. print (List. nth args i)
@@ -1905,7 +1905,7 @@ and compile infos pc state (instrs : instr list) =
1905
1905
1906
1906
if debug_parser ()
1907
1907
then (
1908
- Format. printf " %a = ccal \" %s\" (" Var. print x prim;
1908
+ Format. printf " %a = ccall \" %s\" (" Var. print x prim;
1909
1909
for i = 0 to nargs - 1 do
1910
1910
if i > 0 then Format. printf " , " ;
1911
1911
Format. printf " %a" Var. print (List. nth args i)
You can’t perform that action at this time.
0 commit comments