1#!/bin/bash
2
3dir=$1
4find "$dir/include/cvc4/" -type f | \
5  xargs sed -i '' 's/include.*"\(.*\)"/include <cvc4\/\1>/'
6