Clone
Till Westmann
committed
on 29 Jun 18
[NO ISSUE] small cleanup in type inferencing
Change-Id: I89e74b1f3176d3edd8e41fc63538a3b37326923c
Reviewed-on: https://asterix-gerrit.ics.ucShow more
[NO ISSUE] small cleanup in type inferencing

Change-Id: I89e74b1f3176d3edd8e41fc63538a3b37326923c

Reviewed-on: https://asterix-gerrit.ics.uci.edu/2732

Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>

Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>

Contrib: Jenkins <jenkins@fulliautomatix.ics.uci.edu>

Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>

Reviewed-by: abdullah alamoudi <bamousaa@gmail.com>

Show less