diff options
Diffstat (limited to 'contrib/extraction/test/custom/Mapcard')
| -rw-r--r-- | contrib/extraction/test/custom/Mapcard | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/extraction/test/custom/Mapcard b/contrib/extraction/test/custom/Mapcard new file mode 100644 index 0000000000..af5c23daa4 --- /dev/null +++ b/contrib/extraction/test/custom/Mapcard @@ -0,0 +1,6 @@ +Require Plus. +Extraction NoInline plus_is_one. +Require Addr. +Extraction NoInline ad_double ad_double_plus_un. +Require Map. +Extraction Inline Map_rec. |