#! /bin/csh -f

# Checks for repeated edges

set usage = "$0 FILE"

set file = "$1"; shift

if ( $#argv != 0 ) then
  echo "usage: ${usage}"; exit 1
endif

cat ${file} | egrep '^a' | sort-edges | uniq -d > ${file}.repeated
if ( ! ( -z ${file}.repeated ) ) then
  echo "*** error: ${file} has repeated edges" 
else
  /bin/rm ${file}.repeated
endif