diff options
Diffstat (limited to 'src/Print.ml')
| -rw-r--r-- | src/Print.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Print.ml b/src/Print.ml index 3869012a..d7830549 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -363,6 +363,7 @@ module Values = struct | ABorrow bc -> aborrow_content_to_string fmt bc | ALoan lc -> aloan_content_to_string fmt lc | ASymbolic s -> aproj_to_string fmt s + | AIgnored -> "_" and aloan_content_to_string (fmt : value_formatter) (lc : V.aloan_content) : string = |