Bug fixed: propagation of left expected parameters is now working correctly also

[helm.git] / matita / matita / tests / TPTP / simulate_casc.sh

#!/bin/sh

input=$1

for X in `cat elenco_CASC.txt`; do
  grep ^$X $input 
done