Fix MonSystem references in ocamldoc

sim642 · sim642 · commit da9c42e51139 · 2025-05-15T17:39:29.000+03:00
diff --git a/src/framework/analyses.ml b/src/framework/analyses.ml
@@ -1,4 +1,4 @@
-(** {{!Spec} Analysis specification} and {{!MonSystem} constraint system} signatures. *)
+(** {{!Spec} Analysis specification} signatures. *)
 
 open GoblintCil
 open Pretty
diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml
@@ -1,4 +1,4 @@
-(** Construction of a {{!Analyses.MonSystem} constraint system} from an {{!Analyses.Spec} analysis specification} and {{!MyCFG.CfgBackward} CFGs}.
+(** Construction of a {{!Goblint_constraint} constraint system} from an {{!Analyses.Spec} analysis specification} and {{!MyCFG.CfgBackward} CFGs}.
     Transformatons of analysis specifications as functors. *)
 
 open Batteries
diff --git a/src/solver/goblint_solver.ml b/src/solver/goblint_solver.ml
@@ -1,4 +1,4 @@
-(** Generic solvers for {{!ConstrSys.MonSystem} (side-effecting) constraint systems}. *)
+(** Generic solvers for {{!Goblint_constraint} (side-effecting) constraint systems}. *)
 
 (** {1 Top-down}
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-(** {{!Spec} Analysis specification} and {{!MonSystem} constraint system} signatures. *)`
	`1`	`+(** {{!Spec} Analysis specification} signatures. *)`
`2`	`2`
`3`	`3`	`open GoblintCil`
`4`	`4`	`open Pretty`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-(** Construction of a {{!Analyses.MonSystem} constraint system} from an {{!Analyses.Spec} analysis specification} and {{!MyCFG.CfgBackward} CFGs}.`
	`1`	`+(** Construction of a {{!Goblint_constraint} constraint system} from an {{!Analyses.Spec} analysis specification} and {{!MyCFG.CfgBackward} CFGs}.`
`2`	`2`	`Transformatons of analysis specifications as functors. *)`
`3`	`3`
`4`	`4`	`open Batteries`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-(** Generic solvers for {{!ConstrSys.MonSystem} (side-effecting) constraint systems}. *)`
	`1`	`+(** Generic solvers for {{!Goblint_constraint} (side-effecting) constraint systems}. *)`
`2`	`2`
`3`	`3`	`(** {1 Top-down}`
`4`	`4`