Skip to content

Commit 9f9be58

Browse files
fdupressfdupress
committed
stage the SmtMap -> FMap renaming
1 parent a2c11f1 commit 9f9be58

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎theories/datatypes/FMap.ec‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
require export SmtMap.

0 commit comments

Comments
 (0)