src/HOL/Tools/ATP/scripts/dummy_atp
changeset 54788 a898e15b522a
parent 44596 2621046c550a
equal deleted inserted replaced
54787:6d1670095414 54788:a898e15b522a
       
     1 #!/usr/bin/env bash
     1 echo "SZS status Unknown"
     2 echo "SZS status Unknown"