From 16336be3cca8194fb632aa93d3c1e16a90329940 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 2 Jun 2015 23:56:51 +0200
Subject: [PATCH] acc: Do not restrict acceptance codes to small vectors.

* src/twa/acc.hh (acc_word): This is a 32-bit structure, so
we can use short for both size and op.
---
 src/twa/acc.hh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/twa/acc.hh b/src/twa/acc.hh
index 1506d7fb4..7d587c677 100644
--- a/src/twa/acc.hh
+++ b/src/twa/acc.hh
@@ -252,15 +252,15 @@ namespace spot
     };
 
     // This encodes either an operator or set of acceptance sets.
-    enum class acc_op : unsigned char
+    enum class acc_op : unsigned short
     { Inf, Fin, InfNeg, FinNeg, And, Or };
     union acc_word
     {
       mark_t mark;
       struct {
-	acc_op op;	    // Operator
-	unsigned char size; // Size of the subtree (number of acc_word),
-			    // not counting this node.
+	acc_op op;	     // Operator
+	unsigned short size; // Size of the subtree (number of acc_word),
+			     // not counting this node.
       };
     };