From 4c48ffa53e7b9aa008bed5ac92a8362c0574172e Mon Sep 17 00:00:00 2001
From: Alexis Beingessner <a.beingessner@gmail.com>
Date: Wed, 29 Jul 2015 15:55:19 -0700
Subject: [PATCH] add warning about reference section

---
 src/doc/tarpl/references.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/doc/tarpl/references.md b/src/doc/tarpl/references.md
index da70dd529078..3d7369eca0fe 100644
--- a/src/doc/tarpl/references.md
+++ b/src/doc/tarpl/references.md
@@ -22,6 +22,10 @@ what *aliased* means. To define aliasing, we must define the notion of
 *paths* and *liveness*.
 
 
+**NOTE: The model that follows is generally agreed to be dubious and have
+issues. It's ok-ish as an intuitive model, but fails to capture the desired
+semantics. We leave this here to be able to use notions introduced here in later
+sections. This will be significantly changed in the future. TODO: do that.**
 
 
 # Paths