From ee3f75be7ff9cbe758207b7f5687fde54c9bb66b Mon Sep 17 00:00:00 2001
From: Andreas Freise <adf@star.bham.ac.uk>
Date: Thu, 16 Jan 2014 15:46:56 +0000
Subject: [PATCH] adding 'created by pykat' line to generatescript()
---
pykat/finesse.py | 3 +++
1 file changed, 3 insertions(+)
diff --git a/pykat/finesse.py b/pykat/finesse.py
index 42c0d06..97e2827 100644
--- a/pykat/finesse.py
+++ b/pykat/finesse.py
@@ -633,6 +633,9 @@ class kat(object):
""" Generates the kat file which can then be run """
out = []
+ import datetime
+ strtoday = datetime.datetime.now()
+ out.append(strtoday.strftime("%% Generated by PyKat %d.%m.%Y %H:%M:%S\n") )
for key in self.__blocks:
objs = self.__blocks[key].contents
--
GitLab