tree 8595ad80cf7c28db43b9836558c9d022fb19c810
parent 9ace72b0d7ee853518e2cd12bcebf4b8b598b2b7
author Dimitris Kolovos <dkolovos@cs.york.ac.uk> 1638692645 +0000
committer Dimitris Kolovos <dkolovos@cs.york.ac.uk> 1638692645 +0000

Fixed outdentation for template operations