summary refs log tree commit diff
path: root/source/xi_lib/ir.ml
diff options
context:
space:
mode:
authorPaweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>2018-11-24 17:52:48 +0100
committerPaweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>2018-11-24 17:52:48 +0100
commit45db6551fd1860159e9babd53b68a67302e57e37 (patch)
treeef726bd338486459ad4e3f77efbaffbd7a61b82f /source/xi_lib/ir.ml
parentFixed ambiguity for if else (diff)
Upgrade base
Diffstat (limited to 'source/xi_lib/ir.ml')
0 files changed, 0 insertions, 0 deletions