Skip to content

Commit

Permalink
Merge pull request #83 from ppedrot/glob-evar-kinds
Browse files Browse the repository at this point in the history
  • Loading branch information
SkySkimmer authored Nov 13, 2023
2 parents 97b7251 + a9a5ba2 commit ab2a33d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions plugin/bignums_syntax.ml
Original file line number Diff line number Diff line change
Expand Up @@ -98,10 +98,10 @@ let word_of_pos_bigint ?loc hght n =
if hgt <= 0 then
DAst.make ?loc (GInt (Notation.int63_of_pos_bigint n))
else if Z.equal n Z.zero then
DAst.make ?loc @@ GApp (ref_W0, [DAst.make ?loc @@ GHole (Evar_kinds.InternalHole, Namegen.IntroAnonymous)])
DAst.make ?loc @@ GApp (ref_W0, [DAst.make ?loc @@ GHole (GInternalHole)])
else
let (h,l) = split_at hgt n in
DAst.make ?loc @@ GApp (ref_WW, [DAst.make ?loc @@ GHole (Evar_kinds.InternalHole, Namegen.IntroAnonymous);
DAst.make ?loc @@ GApp (ref_WW, [DAst.make ?loc @@ GHole (GInternalHole);
decomp (hgt-1) h;
decomp (hgt-1) l])
in
Expand Down

0 comments on commit ab2a33d

Please sign in to comment.