diff options
Diffstat (limited to 'cpp/041name')
| -rw-r--r-- | cpp/041name | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/041name b/cpp/041name index 6afb6b07..20d1222f 100644 --- a/cpp/041name +++ b/cpp/041name @@ -11,7 +11,7 @@ recipe main [ +mem: storing 0 in location 1 :(scenario convert_names_warns) -hide warnings +% Hide_warnings = true; recipe main [ x:integer <- copy y:integer ] |