diff options
Diffstat (limited to 'src/Values.ml')
-rw-r--r-- | src/Values.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Values.ml b/src/Values.ml index 4799f3b9..4e45db03 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -545,7 +545,7 @@ and aloan_content = *) | AIgnoredSharedLoan of typed_avalue (** An ignored shared loan. - + Example: ======== ``` |