remove 'debugError', dead code

2022-04-08 13:30:18 -06:00
parent b8b8ec7101
commit a86c2a8481
3 changed files with 1 additions and 46 deletions
@@ -274,7 +274,6 @@ void printClosureDiff(

 void runRepl(
    ref<EvalState> evalState,
-    const Error *debugError,
    const Expr &expr,
    const std::map<std::string, Value *> & extraEnv);
 }