From 570f3b333976a94fd6d2116b243e4e456a374672 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Sat, 9 Jan 2016 15:54:06 -0600
Subject: [PATCH] Tweak how operator input/output types are printed
---
grudge/symbolic/mappers/__init__.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/grudge/symbolic/mappers/__init__.py b/grudge/symbolic/mappers/__init__.py
index fde4e302..ba3064f6 100644
--- a/grudge/symbolic/mappers/__init__.py
+++ b/grudge/symbolic/mappers/__init__.py
@@ -596,7 +596,7 @@ class StringifyMapper(pymbolic.mapper.stringifier.StringifyMapper):
return result
def _format_op_dd(self, op):
- return "[%s->%s]" % (self._format_dd(op.dd_in), self._format_dd(op.dd_out))
+ return ":%s->%s" % (self._format_dd(op.dd_in), self._format_dd(op.dd_out))
# {{{ nodal ops
--
GitLab