From 0b7918c52eaadee049e28056b134e4621035d85f Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Fri, 21 Sep 2018 09:37:36 +0100
Subject: [PATCH] remove spurious pragma

---
 src/smt/smt_arith_value.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/smt/smt_arith_value.cpp b/src/smt/smt_arith_value.cpp
index ce4c0d9a9..41679851a 100644
--- a/src/smt/smt_arith_value.cpp
+++ b/src/smt/smt_arith_value.cpp
@@ -1,4 +1,3 @@
-
 /*++
 Copyright (c) 2018 Microsoft Corporation
 
@@ -17,7 +16,6 @@ Author:
 Revision History:
 
 --*/
-#pragma once;
 
 #include "smt/smt_arith_value.h"
 #include "smt/theory_lra.h"