From 46c2e33096d629ca8c60535cbf0adb767045552a Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Sat, 29 Sep 2018 10:23:31 +0200
Subject: [PATCH] Remove WIP

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index d1d03599..3d8cc4f5 100644
--- a/README.md
+++ b/README.md
@@ -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