From 4a72cb8084237161d0bccc66f27d5fb6d24315e0 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 6 Feb 2020 17:20:39 +0000
Subject: Make sure tdiv_int and tmod_int are recognised by sail -i

---
 doc/riscv.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/riscv.tex b/doc/riscv.tex
index 48008c64..ca2b9dfe 100644
--- a/doc/riscv.tex
+++ b/doc/riscv.tex
@@ -56,7 +56,7 @@ register Xs : vector(32, dec, xlenbits)
 
 \sailval{wX}
 \sailfn{wX}
-\sailoverloadVVX
+\sailoverloadUUX
 
 We also give a function \ll{MEMr} for reading memory, this function
 just points at a builtin we have defined elsewhere. Note that
-- 
cgit v1.2.3