mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

remove spurious pragma

Browse source
This commit is contained in:
Nuno Lopes 2018-09-21 09:37:36 +01:00
parent 4e75efa485
commit 0b7918c52e
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/smt_arith_value.cpp
View file

@ -1,4 +1,3 @@
/*++ /*++
Copyright (c) 2018 Microsoft Corporation Copyright (c) 2018 Microsoft Corporation
@ -17,7 +16,6 @@ Author:
Revision History: Revision History:
--*/ --*/
#pragma once;
#include "smt/smt_arith_value.h" #include "smt/smt_arith_value.h"
#include "smt/theory_lra.h" #include "smt/theory_lra.h"