1 files changed, 1 insertions, 1 deletions
diff --git a/src/op.cc b/src/op.cc
index 65f559c0..7dbbf3a2 100644
--- a/src/op.cc
+++ b/src/op.cc
@@ -376,7 +376,7 @@ bool expr_t::op_t::print(std::ostream& out, const context_t& context) const
     out << "(";
     if (left() && left()->print(out, context))
       found = true;
-    out << " // ";
+    out << " / ";
     if (has_right() && right()->print(out, context))
       found = true;
     out << ")";