Removing this misnamed example.

uclid-org · Mar 12, 2018 · 49f2541 · 49f2541
1 parent cdd9806
commit 49f2541
Showing 1 changed file with 0 additions and 24 deletions.
diff --git a/examples/tutorial/ex3.4-fib-model-revisted.ucl b/examples/tutorial/ex3.4-fib-model-revisted.ucl