Fix IntDomain module description

sim642 · sim642 · commit 37bde635a15e · 2025-05-07T21:35:59.000+03:00
diff --git a/src/cdomain/value/cdomains/intDomain.mli b/src/cdomain/value/cdomains/intDomain.mli
@@ -1 +1,3 @@
+(** Abstract domains for C integers. *)
+
 include IntDomain_intf.IntDomain (** @inline *)
diff --git a/src/cdomain/value/cdomains/intDomain_intf.ml b/src/cdomain/value/cdomains/intDomain_intf.ml
@@ -1,5 +1,3 @@
-(** Abstract domains for C integers. *)
-
 open GoblintCil
 
 

Original file line number	Diff line number	Diff line change
`@@ -1 +1,3 @@`
	`1`	`+(** Abstract domains for C integers. *)`
	`2`	`+`
`1`	`3`	`include IntDomain_intf.IntDomain (** @inline *)`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-(** Abstract domains for C integers. *)`
`2`		`-`
`3`	`1`	`open GoblintCil`
`4`	`2`
`5`	`3`