From d5eb564a1ae46409e90a2c6bd6af5b77aa37773e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 9 Sep 2020 20:24:46 +0200
Subject: Adding a wit_natural standard argument.

---
 plugins/ltac/tacinterp.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'plugins/ltac')

diff --git a/plugins/ltac/tacinterp.ml b/plugins/ltac/tacinterp.ml
index 88480194c8..2258201c22 100644
--- a/plugins/ltac/tacinterp.ml
+++ b/plugins/ltac/tacinterp.ml
@@ -2027,6 +2027,9 @@ let () =
 let () =
   declare_uniform wit_int
 
+let () =
+  declare_uniform wit_nat
+
 let () =
   declare_uniform wit_bool
 
-- 
cgit v1.2.3