diff options
Diffstat (limited to 'src/theory/strings/options')
| -rw-r--r-- | src/theory/strings/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/options b/src/theory/strings/options index c90d654b1..9226f9999 100644 --- a/src/theory/strings/options +++ b/src/theory/strings/options @@ -5,7 +5,7 @@ module STRINGS "theory/strings/options.h" Strings theory -option stringCharCardinality str-cardinality --str-cardinality=N int16_t :default 256 :read-write +option stringCharCardinality str-alphabet-card --str-alphabet-card=N int16_t :default 256 :read-write the cardinality of the characters used by the theory of string, default 256 endmodule |