From 9c13d5888fdd12aa46f9a3b1a752cf040bc94939 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 21 Feb 2019 20:03:20 +0000
Subject: Fix manual, and include Alexandre's typo fixes

---
 doc/examples/my_replicate_bits.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/examples')

diff --git a/doc/examples/my_replicate_bits.sail b/doc/examples/my_replicate_bits.sail
index 8c3c9458..9334163b 100644
--- a/doc/examples/my_replicate_bits.sail
+++ b/doc/examples/my_replicate_bits.sail
@@ -44,9 +44,9 @@ function my_replicate_bits_2(n, xs) = {
   ys
 }
 
-val cast extz : forall 'n 'm, 'm >= 'n. bits('n) -> bits('m)
+val cast extz : forall 'n 'm, 'm >= 'n. (implicit('m), bits('n)) -> bits('m)
 
-function extz(xs) = zero_extend(xs, 'm)
+function extz(m, xs) = zero_extend(xs, m)
 
 val my_replicate_bits_3 : forall 'n 'm, 'm >= 1 & 'n >= 1. (int('n), bits('m)) -> bits('n * 'm)
 
-- 
cgit v1.2.3