Add an option to eagerly end abstractions if a function has return type

unit and the abstractions don't contain loans

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:
           ========
           ```