Update tune in main

miking-lang · Dec 19, 2023 · 944737a · 944737a
1 parent 177877d
commit 944737a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/tune.mc b/src/main/tune.mc
@@ -93,7 +93,7 @@ let tune = lam files. lam options : Options. lam args.
       {options with output = Some (sysJoinPath r.tempDir "tune")} file ast in
 
     -- Do the tuning
-    let result = tuneEntry binary tuneOptions env dep instRes r ast in
+    let result = tune binary tuneOptions env dep instRes r ast in
 
     -- Write the best found values to filename.tune
     tuneFileDumpTable (tuneFileName file) env result true;