diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2023-10-09 12:03:09 -0400 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 10:42:22 +0200 |
| commit | bd3843d7e633313de5b953ccfeede96dbeb35a52 (patch) | |
| tree | d361f4fb55468a0425d4584ddcc3e520c58cbe77 /gnu/packages/maths.scm | |
| parent | 832c2549c0e28c5df5d45e5518bdc8295568371a (diff) | |
| download | guix-bd3843d7e633313de5b953ccfeede96dbeb35a52.tar.gz guix-bd3843d7e633313de5b953ccfeede96dbeb35a52.zip | |
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
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 04e7fe6019..be8acc169e 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9208,7 +9208,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 |