diff --git a/cvc3.spec b/cvc3.spec
index 1c1ef56..df0822f 100644
--- a/cvc3.spec
+++ b/cvc3.spec
@@ -69,7 +69,6 @@ is not true (e.g., i = 0 and j = -1).
 Group:          Development/Libraries
 Summary:        Header files for development with CVC3
 Requires:       %{name} = %{version}-%{release}
-BuildArch:      noarch
 
 %description devel
 Header files need to develop with CVC3.