diff options
| -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 |