From 0227077e343a6243a5c69dfb3eb07f50006eb5ea Mon Sep 17 00:00:00 2001
From: Son HO
Date: Thu, 22 Sep 2022 16:25:30 +0200
Subject: Update Makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index aba2a67b..80cdad30 100644
--- a/Makefile
+++ b/Makefile
@@ -32,7 +32,7 @@ build:
 test: build trans-no_nested_borrows trans-paper \
 	trans-hashmap trans-hashmap_main \
 	trans-external trans-constants \
-	trans-nll-betree_nll trans-nll-betree_main \
+	trans-nll-betree_nll trans-nll-betree_main
 
 # Verify the F* files generated by the translation
 .PHONY: verify
-- 
cgit v1.2.3