From e226b39914182af59ee6196228f07668bc4f6924 Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Mon, 11 Jun 2018 15:29:06 -0700 Subject: [PATCH] Remove pragma once from cpp --- src/qe/qe_solve_plugin.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/qe/qe_solve_plugin.cpp b/src/qe/qe_solve_plugin.cpp index 7a4dd97f4..bbaf15325 100644 --- a/src/qe/qe_solve_plugin.cpp +++ b/src/qe/qe_solve_plugin.cpp @@ -18,8 +18,6 @@ Revision History: --*/ -#pragma once - #include "ast/arith_decl_plugin.h" #include "ast/ast_util.h" #include "ast/ast_pp.h"