Document ReturnUtil

sim642 · sim642 · commit e847c8f39e2f · 2024-01-11T15:46:00.000+02:00
diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
@@ -402,6 +402,7 @@ module LibraryFunctions = LibraryFunctions
 module BaseUtil = BaseUtil
 module PrecisionUtil = PrecisionUtil
 module ContextUtil = ContextUtil
+module ReturnUtil = ReturnUtil
 module BaseInvariant = BaseInvariant
 module CommonPriv = CommonPriv
 module WideningThresholds = WideningThresholds
diff --git a/src/util/returnUtil.ml b/src/util/returnUtil.ml
@@ -1,3 +1,5 @@
+(** Special variable for return value. *)
+
 open GoblintCil
 module AD = ValueDomain.AD
 

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+(** Special variable for return value. *)`
	`2`	`+`
`1`	`3`	`open GoblintCil`
`2`	`4`	`module AD = ValueDomain.AD`
`3`	`5`