From 6670aaf9a8d080de424f4f65fde8a36799645c9b Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Wed, 21 Jul 2021 21:30:19 +0200
Subject: fix ci

---
 aarch64/ExpansionOracle.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'aarch64/ExpansionOracle.ml')

diff --git a/aarch64/ExpansionOracle.ml b/aarch64/ExpansionOracle.ml
index 0869007c..afcb29c2 100644
--- a/aarch64/ExpansionOracle.ml
+++ b/aarch64/ExpansionOracle.ml
@@ -12,4 +12,4 @@
 
 let expanse n ibf btl = btl
 
-let find_last_node_reg c = ()
+let find_last_reg c = ()
-- 
cgit