CVS difference for ai12s/ai12-0240-4.txt

--- ai12s/ai12-0240-4.txt	2019/01/18 03:21:56	1.2
+++ ai12s/ai12-0240-4.txt	2019/02/23 03:40:06	1.3
@@ -4,7 +4,9 @@
 !status received 18-06-14
 !priority Low
 !difficulty Hard
-!subject Pointer ownership for Abstract Data Types !summary
+!subject Pointer ownership for Abstract Data Types 
+
+!summary
 
 We introduce the notion of "pointer ownership" to allow us to define the
 "Global" aspects of the visible operations of an abstract data type, without