From 0b486d26daea05f918643a9d277f12027f0bc2f6 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Thu, 2 Jan 2020 09:27:07 +0000 Subject: [PATCH] remove pragma once from .cpp --- src/math/grobner/pdd_simplifier.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/math/grobner/pdd_simplifier.cpp b/src/math/grobner/pdd_simplifier.cpp index 09dd9ae96..a0160fbdd 100644 --- a/src/math/grobner/pdd_simplifier.cpp +++ b/src/math/grobner/pdd_simplifier.cpp @@ -52,7 +52,6 @@ - Perhaps this amounts to figuring out whether a variable is used in an xor or more --*/ -#pragma once #include "math/grobner/pdd_simplifier.h" #include "math/simplex/bit_matrix.h"