From c61f554acd65885cedee8ebae2bfaf2c9d70275a Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Tue, 25 Mar 2014 16:35:28 -0700 Subject: fix indentation for footnotes --- 05-types.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '05-types.md') diff --git a/05-types.md b/05-types.md index 1e7e422422..e544d01eb4 100644 --- a/05-types.md +++ b/05-types.md @@ -291,8 +291,8 @@ one of the component types $T_1 , \ldots , T_n$, the usual rules for or definition is said to be “structural” [^2]. [^2]: A reference to a structurally defined member (method call or access -to a value or variable) may generate binary code that is significantly -slower than an equivalent code to a non-structural member. + to a value or variable) may generate binary code that is significantly + slower than an equivalent code to a non-structural member. Within a method declaration in a structural refinement, the type of any value parameter may only refer to type parameters or abstract -- cgit v1.2.3