Update dune-project

fix typo in package: sail_smt_backend
rems-project · Oct 5, 2024 · 818e8c4 · 818e8c4
1 parent f9dd361
commit 818e8c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -76,7 +76,7 @@ http://www.cl.cam.ac.uk/~pes20/sail/.
 
 (package
   (name sail_smt_backend)
-  (synopsis "Sail to C translation")
+  (synopsis "Sail to SMT translation")
   (depends
     (libsail (= :version))))