update

[master.git] / ar / assignments / src / 1.smt

diff --git a/ar/assignments/src/a1.smt b/ar/assignments/src/1.smt
similarity index 100%
rename from ar/assignments/src/a1.smt
rename to ar/assignments/src/1.smt