fix indentation

Alidra · Nov 7, 2024 · 00ada10 · 00ada10
1 parent 037f74a
commit 00ada10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lsp/lp_doc.ml b/src/lsp/lp_doc.ml
@@ -71,7 +71,7 @@ let process_pstep (pstate,diags,logs) tac nb_subproofs =
       let goals = Some (current_goals pstate) in
       pstate, (tac_loc, 4, msg, goals) :: diags, logs
 
-      let process_proof pstate tacs logs =
+let process_proof pstate tacs logs =
   Pure.ProofTree.fold process_pstep (pstate,[],logs) tacs
 
 let get_goals dg_proof =