jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Typo in error message

Browse source
This commit is contained in:
Gwenaël Delaval 2012-07-26 01:33:32 +02:00
parent 90dda27a3a
commit 72b1bd8de3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/minils/analysis/clocking.ml
View file

@ -62,7 +62,7 @@ let error_message loc = function
raise Errors.Error
| Eclockclash (actual_ck, expected_ck) ->
Format.eprintf "%aClock Clash: this value has clock %a,@\n\
but is exprected to have clock %a.@."
but is expected to have clock %a.@."
print_location loc
print_ck actual_ck
print_ck expected_ck;