Document RelationCil module

sim642 · sim642 · commit 4aebf0748820 · 2025-10-02T10:27:59.000+03:00
diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
@@ -455,6 +455,7 @@ module SparseVector = SparseVector
 module ListMatrix = ListMatrix
 module RatOps = RatOps
 
+module RelationCil = RelationCil
 module SharedFunctions = SharedFunctions
 module GobApron = GobApron
 
diff --git a/src/util/relationCil.ml b/src/util/relationCil.ml
@@ -1,3 +1,5 @@
+(** CIL utilities for relational analyses. *)
+
 open GoblintCil
 
 module type Tracked =

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+(** CIL utilities for relational analyses. *)`
	`2`	`+`
`1`	`3`	`open GoblintCil`
`2`	`4`
`3`	`5`	`module type Tracked =`