From 70f5867e441e253869cb3b432af77636a186d1cb Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Fri, 16 Jul 2021 12:26:27 +0200
Subject: rm TODO

---
 aarch64/Machregsaux.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'aarch64')

diff --git a/aarch64/Machregsaux.ml b/aarch64/Machregsaux.ml
index 15fb08ca..98e461eb 100644
--- a/aarch64/Machregsaux.ml
+++ b/aarch64/Machregsaux.ml
@@ -21,5 +21,4 @@ let class_of_type = function
   | AST.Tany32 | AST.Tany64 -> assert false
 
 (* number of available registers per class *)
-(* TODO: add this to all archs *)
 let nr_regs = [| 29; 32 |]
-- 
cgit