From 5a095e968ca040757db22a4bd7cde34b91bf44e1 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Thu, 5 Sep 2019 14:25:21 +0200
Subject: Removing unused .all, .any, .nall and .none conditions

---
 mppa_k1c/TargetPrinter.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'mppa_k1c/TargetPrinter.ml')

diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml
index 5618875f..0c179a07 100644
--- a/mppa_k1c/TargetPrinter.ml
+++ b/mppa_k1c/TargetPrinter.ml
@@ -262,10 +262,6 @@ module Target (*: TARGET*) =
       | ITgeu  -> "geu"
       | ITleu  -> "leu"
       | ITgtu  -> "gtu"
-      | ITall  -> "all"
-      | ITnall -> "nall"
-      | ITany  -> "any"
-      | ITnone -> "none"
 
     let icond oc c = fprintf oc "%s" (icond_name c)
 
-- 
cgit