Skip to content

Commit c1aed79

Browse files
committed
Woops
1 parent a7fdb0e commit c1aed79

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

infra/optimize.rkt

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@
22

33
(require json
44
math/bigfloat)
5-
(require "main.rkt"
6-
"eval/machine.rkt"
7-
"eval/optimal.rkt"
8-
"utils.rkt")
5+
(require "../main.rkt"
6+
"../eval/machine.rkt"
7+
"../eval/optimal.rkt"
8+
"../utils.rkt")
99

1010
(define (read-from-string s)
1111
(read (open-input-string s)))

0 commit comments

Comments
 (0)