From 3b77d081924af4e787cf88b4e15f8e4548bfedb2 Mon Sep 17 00:00:00 2001
From: Nikhil Swamy <nikswamy@users.noreply.github.com>
Date: Mon, 13 Jan 2025 13:41:25 -0800
Subject: [PATCH] fix typo

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

diff --git a/Makefile b/Makefile
index 2c9e8c1a0aa..84e1708ce36 100644
--- a/Makefile
+++ b/Makefile
@@ -383,7 +383,7 @@ test-1: stage1
 
 _unit-tests-1: override FSTAR_EXE := $(abspath stage1/out/bin/fstar.exe)
 _unit-tests-1: stage1
-	$(MAKE) _unit-tests FSTAR_EXE=$(FSTAR_EXE) unit-tests
+	$(MAKE) _unit-tests FSTAR_EXE=$(FSTAR_EXE)
 
 test-2: override FSTAR_EXE := $(abspath stage2/out/bin/fstar.exe)
 test-2: stage2