diff options
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |