summaryrefslogtreecommitdiff
path: root/compiler/fstar
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--compiler/fstar/Primitives.fst (renamed from fstar/Primitives.fst)0
1 files changed, 0 insertions, 0 deletions
diff --git a/fstar/Primitives.fst b/compiler/fstar/Primitives.fst
index b44fe9d1..b44fe9d1 100644
--- a/fstar/Primitives.fst
+++ b/compiler/fstar/Primitives.fst