goblint
diff --git a/‎scripts/goblint-lib-modules.py‎
Lines changed: 1 addition & 1 deletion b/‎scripts/goblint-lib-modules.py‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎src/solvers/dune‎ renamed to ‎src/solver/dune‎ b/‎src/solvers/dune‎ renamed to ‎src/solver/dune‎
diff --git a/‎src/solvers/effectWConEq.ml‎ renamed to ‎src/solver/effectWConEq.ml‎ b/‎src/solvers/effectWConEq.ml‎ renamed to ‎src/solver/effectWConEq.ml‎
diff --git a/‎src/solvers/generic.ml‎ renamed to ‎src/solver/generic.ml‎ b/‎src/solvers/generic.ml‎ renamed to ‎src/solver/generic.ml‎
diff --git a/‎src/solvers/goblint_solver.ml‎ renamed to ‎src/solver/goblint_solver.ml‎ b/‎src/solvers/goblint_solver.ml‎ renamed to ‎src/solver/goblint_solver.ml‎
diff --git a/‎src/solvers/localFixpoint.ml‎ renamed to ‎src/solver/localFixpoint.ml‎ b/‎src/solvers/localFixpoint.ml‎ renamed to ‎src/solver/localFixpoint.ml‎
diff --git a/‎src/solvers/postSolver.ml‎ renamed to ‎src/solver/postSolver.ml‎ b/‎src/solvers/postSolver.ml‎ renamed to ‎src/solver/postSolver.ml‎
diff --git a/‎src/solvers/sLR.ml‎ renamed to ‎src/solver/sLR.ml‎ b/‎src/solvers/sLR.ml‎ renamed to ‎src/solver/sLR.ml‎
diff --git a/‎src/solvers/sLRphased.ml‎ renamed to ‎src/solver/sLRphased.ml‎ b/‎src/solvers/sLRphased.ml‎ renamed to ‎src/solver/sLRphased.ml‎
diff --git a/‎src/solvers/sLRterm.ml‎ renamed to ‎src/solver/sLRterm.ml‎ b/‎src/solvers/sLRterm.ml‎ renamed to ‎src/solver/sLRterm.ml‎
@@ -8,7 +8,7 @@
 
 goblint_lib_paths = [
     src_root_path / "goblint_lib.ml",
-    src_root_path / "solvers" / "goblint_solver.ml",
+    src_root_path / "solver" / "goblint_solver.ml",
     src_root_path / "util" / "std" / "goblint_std.ml",
 ]
 goblint_lib_modules = set()
Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@`
`8`	`8`
`9`	`9`	`goblint_lib_paths = [`
`10`	`10`	`src_root_path / "goblint_lib.ml",`
`11`		`- src_root_path / "solvers" / "goblint_solver.ml",`
	`11`	`+ src_root_path / "solver" / "goblint_solver.ml",`
`12`	`12`	`src_root_path / "util" / "std" / "goblint_std.ml",`
`13`	`13`	`]`
`14`	`14`	`goblint_lib_modules = set()`