From 07a1243b40bfec263e9f04b934bd44ed96794018 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Tue, 28 Jul 2020 19:47:57 +0200
Subject: [PATCH] cex: style: prefer "res" for the returned value

* src/derivation.c (derivation_new): here.
---
 src/derivation.c | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/derivation.c b/src/derivation.c
index 87863527..9772cabd 100644
--- a/src/derivation.c
+++ b/src/derivation.c
@@ -76,12 +76,12 @@ void derivation_list_free (derivation_list dl)
 derivation *
 derivation_new (symbol_number sym, derivation_list children)
 {
-  derivation *deriv = xmalloc (sizeof (derivation));
-  deriv->sym = sym;
-  deriv->children = children;
-  deriv->reference_count = 0;
-  deriv->color = -1;
-  return deriv;
+  derivation *res = xmalloc (sizeof *res);
+  res->sym = sym;
+  res->children = children;
+  res->reference_count = 0;
+  res->color = -1;
+  return res;
 }
 
 void