DebugTrace

2021-12-23 13:36:39 -07:00
parent deb1fd66e8
commit e5eebda194
5 changed files with 29 additions and 18 deletions
@@ -314,8 +314,6 @@ void printClosureDiff(

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