# HG changeset patch
# User HackBot
# Date 1490573843 0
# Node ID a7c5dff28c1d7c7e1e6b85357fefc608cb16b435
# Parent  65621e821c028c0200f1331193fa3d1952ee5a74
<oerjan> undo 7702

diff -r 65621e821c02 -r a7c5dff28c1d wisdom/substructural typing
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/substructural typing	Mon Mar 27 00:17:23 2017 +0000
@@ -0,0 +1,1 @@
+Not to be confused with structural subtyping.