diff options
Diffstat (limited to 'contrib/extraction/test/custom/Mapcard')
| -rw-r--r-- | contrib/extraction/test/custom/Mapcard | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/extraction/test/custom/Mapcard b/contrib/extraction/test/custom/Mapcard index af5c23daa..71496aba9 100644 --- a/contrib/extraction/test/custom/Mapcard +++ b/contrib/extraction/test/custom/Mapcard @@ -3,4 +3,4 @@ Extraction NoInline plus_is_one. Require Addr. Extraction NoInline ad_double ad_double_plus_un. Require Map. -Extraction Inline Map_rec. +Extraction Inline Map_rec Map_rect. |