adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

c-parser: update test files. 

Short-name constants don't exist any more, so we change the (single)
explicit reference to a short name into a long name.
This commit is contained in:
Edward Pierzchalski 2019-02-28 10:39:30 +11:00
parent e039ecc6a1
commit 7ec43436ba
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/c-parser/testfiles/jiraver881.thy
View File

@ -47,7 +47,7 @@ end
(* Should always work, since these are trivial assignments *)
ML \<open>
check_ret "baseline1" @{const_name x_'_update};
check_ret "baseline1" @{const_name x___int_'_update};
check_ret "baseline2" @{const_name ret__int_'_update};
\<close>