From d031448347fbc626f11803d3f22124fd79515d62 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 5 Oct 2016 08:00:59 +0100
Subject: [PATCH] Cleanup: outdated commented stuff.

---
 stack/stack.ocl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/stack/stack.ocl b/stack/stack.ocl
index fd23d7a..371597f 100644
--- a/stack/stack.ocl
+++ b/stack/stack.ocl
@@ -35,7 +35,6 @@ context Stack::pop(): Stack
 context Stack::top(): ElemType
     pre   notEmpty: isEmpty() = false
     post: result = elements->first()
---    post: self=self@pre
  
 context Stack::push(e: ElemType): Stack
     post pushedElemTypeIsOnTop: top() = e