Typo.

83a57666 · POTTIER Francois · 16466cac · 83a57666
Commit 83a57666 authored Nov 02, 2015 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/Engine.ml src/Engine.ml +1 -1

No files found.
--- a/src/Engine.ml
+++ b/src/Engine.ml
@@ -7,7 +7,7 @@ open EngineTypes
   - at compile time, if so requested by the user, via the --interpret options;
   - at run time, in the table-based back-end. *)

-(* A tainted dummy position. In principe, it should never be exposed. *)
+(* A tainted dummy position. In principle, it should never be exposed. *)

 let dummy_pos =
  let open Lexing in {