From 170da77ad45cb0e504f82d075836a8f2965efe28 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 20 Dec 2018 15:58:24 +0100
Subject: Documentation for SProp

---
 dev/doc/changes.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dev/doc/changes.md')

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index 491a75bb3d..d515ec30e8 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -12,6 +12,8 @@
 
 ### ML API
 
+SProp was added, see <SProp.md>
+
 General deprecation
 
 - All functions marked [@@ocaml.deprecated] in 8.8 have been
-- 
cgit v1.2.3