github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-01-10 22:27:55 -05:00
Code Issues Packages Projects Releases Wiki Activity

missed a datalog feature (#135)

Browse Source
This commit is contained in:
Alex Ozdemir
2023-01-17 09:49:42 -08:00
committed by GitHub
parent 5f3d2b95fe
commit 62ee97b240
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/front/mod.rs
View File

@@ -2,6 +2,7 @@
#[cfg(feature = "c")]
pub mod c;
#[cfg(all(feature = "smt", feature = "datalog"))]
pub mod datalog;
#[cfg(all(feature = "smt", feature = "zok"))]
pub mod zsharp;