diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-09-10 17:18:39 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-09-10 17:18:39 +0200 |
| commit | d398f6fba2cd9abc875842a21b7c63b952808298 (patch) | |
| tree | 872be8df3c804645e5b697d32584c17e3770e3e7 /mppa_k1c/TargetPrinter.ml | |
| parent | 1b44cdee7eef4e31f2fc6b8a2397017c2979f6d9 (diff) | |
| parent | 5a095e968ca040757db22a4bd7cde34b91bf44e1 (diff) | |
| download | compcert-kvx-d398f6fba2cd9abc875842a21b7c63b952808298.tar.gz compcert-kvx-d398f6fba2cd9abc875842a21b7c63b952808298.zip | |
Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-load
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 609077c6..930b1c51 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -266,10 +266,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) |