Skip to content

Commit 77442e7

Browse files
kroeningkroening
committed
fix typo quanitfiers -> quantifiers
This fixes a typo in the name of the directory of one of the tests.
1 parent 73a1414 commit 77442e7

File tree

2 files changed

+0
-0
lines changed

2 files changed

+0
-0
lines changed

regression/smt2_solver/quanitfiers/quantifier-scoping.desc renamed to regression/smt2_solver/quantifiers/quantifier-scoping.desc

File renamed without changes.

regression/smt2_solver/quanitfiers/quantifier-scoping.smt2 renamed to regression/smt2_solver/quantifiers/quantifier-scoping.smt2

File renamed without changes.

0 commit comments

Comments
 (0)