From 467eb67bb960c15e1335f375af29b4121ac5262b Mon Sep 17 00:00:00 2001 From: JPR Date: Wed, 22 May 2019 21:40:57 +0200 Subject: Fixing typos - Part 2 --- kernel/cbytegen.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/cbytegen.ml') diff --git a/kernel/cbytegen.ml b/kernel/cbytegen.ml index 69f004307d..90fbcb8ae3 100644 --- a/kernel/cbytegen.ml +++ b/kernel/cbytegen.ml @@ -386,7 +386,7 @@ let rec is_tailcall = function | Klabel _ :: c -> is_tailcall c | _ -> None -(* Extention of the continuation *) +(* Extension of the continuation *) (* Add a Kpop n instruction in front of a continuation *) let rec add_pop n = function -- cgit v1.2.3