Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Fixing some whitespace around a recent merge. That lead to some general clean-up, including removing tailing whitespace and removing some unneeded dependences. (details)
Commit 7aa209e7409d14817d320fcccfbd6cda3e67303d by ajbeach
Fixing some whitespace around a recent merge. That lead to some general clean-up, including removing tailing whitespace and removing some unneeded dependences.
The file was modified src/Tuples/TupleAssignment.cc
The file was modified src/Tuples/Tuples.h
The file was modified src/ResolvExpr/CandidateFinder.cpp
The file was modified src/ResolvExpr/CandidateFinder.hpp