From 10485f430729a8898d3ffd0b2a2b31da4bc5454a Mon Sep 17 00:00:00 2001
From: Brett Saiki <bksaiki@gmail.com>
Date: Mon, 26 Aug 2024 10:29:26 -0700
Subject: [PATCH] fix bad merge

---
 src/api/sandbox.rkt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/api/sandbox.rkt b/src/api/sandbox.rkt
index 6f138746d..9eab291f6 100644
--- a/src/api/sandbox.rkt
+++ b/src/api/sandbox.rkt
@@ -348,15 +348,15 @@
   (table-row (test-name test)
              (test-identifier test)
              status
-             (prog->fpcore (test-pre test))
+             (prog->fpcore (test-pre test) (test-context test))
              preprocess
              (representation-name repr)
              '() ; TODO: eliminate field
              (test-vars test)
              (map car (hash-ref result-hash 'warnings))
-             (prog->fpcore (test-input test))
+             (prog->fpcore (test-input test) (test-context test))
              #f
-             (prog->fpcore (test-spec test))
+             (prog->fpcore (test-spec test) (test-context test))
              (test-output test)
              #f
              #f