Skip to content

Commit

Permalink
Fix compile error
Browse files Browse the repository at this point in the history
  • Loading branch information
f52985 committed Sep 13, 2024
1 parent 4110e29 commit 4ae22aa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spectec/src/backend-prose/render.mli
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ val env : Config.config -> string list -> string list -> Backend_latex.Render.en
(* Generators *)

val render_expr : env -> expr -> string
val render_instr : Al.Ast.(env -> id -> int ref -> int -> instr -> string)
val render_instr : env -> Al.Ast.id -> int ref -> int -> Al.Ast.instr -> string
val render_stmt : env -> int -> stmt -> string
val render_def : env -> def -> string
val render_prose : env -> prose -> string

0 comments on commit 4ae22aa

Please sign in to comment.