49/63: gnu: lingeling: Import the correct set of modules.

[guix-commits]

apteryx pushed a commit to branch core-updates
in repository guix.

commit 0900fac090b6b78e8d5fcb371c82be75c5476fe4
Author: Maxim Cournoyer <maxim.cournoyer@gmail.com>
AuthorDate: Mon Oct 9 12:03:09 2023 -0400

    gnu: lingeling: Import the correct set of modules.
    
    * gnu/packages/maths.scm (lingeling) [arguments]
    <modules>: Replace %default-gnu-imported-modules with %default-gnu-modules.
    
    Change-Id: I9293cf6798395d9c9cf3fde5adac5439d02884df
---
 gnu/packages/maths.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index b00b250081..8cd10a7ab3 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -7888,7 +7888,7 @@ symbolic reasoning engines that need to reason about 
polynomial constraints.")
      (arguments
       (list #:test-target "test"
             #:modules `((ice-9 match)
-                        ,@%default-gnu-imported-modules)
+                        ,@%default-gnu-modules)
             #:configure-flags #~(list "--aiger=.")
             #:phases
             #~(modify-phases %standard-phases