diff options
| -rw-r--r-- | theories/Ints/num/QMake.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/theories/Ints/num/QMake.v b/theories/Ints/num/QMake.v index 51451e82d..d24a318cd 100644 --- a/theories/Ints/num/QMake.v +++ b/theories/Ints/num/QMake.v @@ -557,6 +557,7 @@ Module Qif. | BigN.N10 _ => true | BigN.N11 _ => true | BigN.N12 _ => true + | BigN.N13 _ => true | BigN.Nn n _ => true end. @@ -759,6 +760,7 @@ Module Qbi. | BigN.N10 _ => true | BigN.N11 _ => true | BigN.N12 _ => true + | BigN.N13 _ => true | BigN.Nn n _ => true end. |