From 970451927d19f1f703a36df7c000737406adc3cb Mon Sep 17 00:00:00 2001
From: Vincent Siles <vsiles@fb.com>
Date: Wed, 15 Dec 2021 08:24:01 +0100
Subject: [PATCH] minor typo in ra.md

---
 docs/resource_algebras.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/resource_algebras.md b/docs/resource_algebras.md
index 3071a61fa..3fc047bf5 100644
--- a/docs/resource_algebras.md
+++ b/docs/resource_algebras.md
@@ -249,7 +249,7 @@ Using these combinators, one can easily construct bigger functors in point-free
 style and automatically infer their contractivity, e.g:
 
 ```coq
-F := gmaURF K (agreeRF (prodOF (constOF natO) (laterOF idOF)))
+F := gmapURF K (agreeRF (prodOF (constOF natO) (laterOF idOF)))
 ```
 
 which effectively defines the desired example functor
-- 
GitLab