From: smccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Date: Tue, 30 Mar 2010 18:35:09 +0000 (+0000)
Subject: Remove trailing comma at the end of an enumerator list, for pedantic
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=0c72ca31ac7b4c3fda4a929f3afa2fac8451d05d;p=francis%2Fstp.git

Remove trailing comma at the end of an enumerator list, for pedantic
C++ compliance. Patch from Peter Collingbourne.


git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@658 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/c_interface/c_interface.h b/src/c_interface/c_interface.h
index 029907b..06486e4 100644
--- a/src/c_interface/c_interface.h
+++ b/src/c_interface/c_interface.h
@@ -385,7 +385,7 @@ extern "C" {
       WRITE,
       ARRAY,
       BITVECTOR,
-      BOOLEAN,
+      BOOLEAN
   } ;
 
   // type of expression