diff options
| -rw-r--r-- | contrib/ring/quote.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/ring/quote.ml b/contrib/ring/quote.ml index 0ebdd5444f..fc1ee306f8 100644 --- a/contrib/ring/quote.ml +++ b/contrib/ring/quote.ml @@ -477,4 +477,4 @@ let ivs2 = constants = ConstrSet.empty; constant_lhs = (r "nat") -*) +i*) |