Merge pull request #2 from iwashis/feature/change-agsy-to-mimer

Add rw_complete
agda · Oct 8, 2024 · 80059af · 80059af
2 parents c376198 + 52ac3ec
commit 80059af
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Lib.hs b/src/Lib.hs
@@ -205,7 +205,7 @@ cornelis = do
         , $(command "CornelisLoad"             'doLoad)             [CmdSync Async]
         , $(command "CornelisGoals"            'doAllGoals)         [CmdSync Async]
         , $(command "CornelisSolve"            'solveOne)           [CmdSync Async, rw_complete]
-        , $(command "CornelisAuto"             'autoOne)            [CmdSync Async]
+        , $(command "CornelisAuto"             'autoOne)            [CmdSync Async, rw_complete]
         , $(command "CornelisTypeInfer"        'doTypeInfer)        [CmdSync Async]
         , $(command "CornelisTypeContext"      'typeContext)        [CmdSync Async, rw_complete]
         , $(command "CornelisTypeContextInfer" 'typeContextInfer)   [CmdSync Async, rw_complete]