typo

Deducteam · Jun 18, 2020 · 67ec225 · 67ec225
1 parent 50e82d4
commit 67ec225
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/elpi_lambdapi.ml b/src/core/elpi_lambdapi.ml
@@ -68,7 +68,7 @@ module MM = FlexibleData.Map(M)
 let metamap : MM.t State.component = MM.uvmap
 
 (* Terms.term -> Data.term, we use Ctxt.ctxt to carry a link between
-   Bindlib's var to Elpi's De Duijn levels *)
+   Bindlib's var to Elpi's De Bruijn levels *)
 let embed_term : Terms.term Conversion.embedding = fun ~depth st t ->
   let open RawData in
   let open Terms in