summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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