Remove WIP

2018-09-29 10:23:31 +02:00
1 parent 66ee266b90
commit 46c2e33096
@@ -500,7 +500,6 @@ Example:

        (INIT(API_0(mpz_init)), SET(API_0(mpz_set)), INIT_SET(API_0(mpz_init_set)), CLEAR(API_0(mpz_clear)))

-WIP: Only INIT_WITH operator supports this feature now.


 Memory Allocation