From f31749a11eee672ddbc7b6633bb05f1b32233de3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Tue, 24 Oct 2023 14:00:49 +0200 Subject: [PATCH] Fix --- src/MultivariatePolynomials.jl | 1 - 1 file changed, 1 deletion(-) diff --git a/src/MultivariatePolynomials.jl b/src/MultivariatePolynomials.jl index f3bc5f34..9de4709e 100644 --- a/src/MultivariatePolynomials.jl +++ b/src/MultivariatePolynomials.jl @@ -67,7 +67,6 @@ include("monomial.jl") include("term.jl") include("polynomial.jl") include("monomial_vector.jl") -include("ordering.jl") include("rational.jl")