Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

fix oversight in lustre_pp.ml

Browse Source
This commit is contained in:
Antoine Grimod 2023-01-10 00:28:41 +01:00
parent b0545a2733
commit 17e2f93629
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/lustre_pp.ml
View File

@ -160,6 +160,7 @@ and pp_nexts fmt: t_expression list * string list -> unit = function
pp_expression e pp_expression e
n n
pp_nexts (exprs, nexts) pp_nexts (exprs, nexts)
| _, _ -> () (*This should never happen*)
and pp_translist fmt: t_state list -> unit = function and pp_translist fmt: t_state list -> unit = function
| [] -> () | [] -> ()