From 91d924ede1b421df31c895f4f43359e453a09ca5 Mon Sep 17 00:00:00 2001 From: Andrew Chow Date: Wed, 9 Aug 2023 07:36:08 -0400 Subject: Rename script/standard.{cpp/h} to script/solver.{cpp/h} Since script/standard only contains things that are used by the Solver and its callers, rename the files to script/solver. --- src/policy/policy.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/policy/policy.h') diff --git a/src/policy/policy.h b/src/policy/policy.h index 79e6725e73..687d1881cb 100644 --- a/src/policy/policy.h +++ b/src/policy/policy.h @@ -10,7 +10,7 @@ #include #include #include