diff --git a/src/util/std_expr.h b/src/util/std_expr.h
index 525ffab6b5a..82b45e2a362 100644
--- a/src/util/std_expr.h
+++ b/src/util/std_expr.h
@@ -93,10 +93,21 @@ class ternary_exprt : public exprt
 class transt : public ternary_exprt
 {
 public:
+  DEPRECATED("use transt(op0, op1, op2) instead")
   transt() : ternary_exprt(ID_trans)
   {
   }
 
+  transt(
+    const irep_idt &_id,
+    const exprt &_op0,
+    const exprt &_op1,
+    const exprt &_op2,
+    const typet &_type)
+    : ternary_exprt(_id, _op0, _op1, _op2, _type)
+  {
+  }
+
   exprt &invar() { return op0(); }
   exprt &init()  { return op1(); }
   exprt &trans() { return op2(); }