fix typo

runtimeverification · Sep 18, 2024 · ea1dedb · ea1dedb
1 parent e5f6e04
commit ea1dedb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/kllvm/codegen/ProofEvent.h b/include/kllvm/codegen/ProofEvent.h
@@ -77,7 +77,7 @@ class proof_event {
   llvm::LoadInst *emit_get_steps(llvm::BasicBlock *insert_at_end);
 
   /*
-   * Emit instructions to get the current value of the hproof_chunk_size global
+   * Emit instructions to get the current value of the proof_chunk_size global
    * variable, which dictates how many rewrite steps should be included per
    * chunk of the hint trace.
    */