mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
removed dead script
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
dfd737aa66
commit
2a295d9466
|
@ -1,3 +0,0 @@
|
|||
#!/bin/sh
|
||||
dos2unix database.smt
|
||||
./gen database.smt | awk 'BEGIN { print "char const * g_pattern_database =" } { print "\"" $0 "\\n\"" } END { print ";" }' > database.h
|
Loading…
Reference in a new issue