diff options
Diffstat (limited to '')
-rw-r--r-- | src/InterpreterUtils.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml index b76ae28c..fc86f1f5 100644 --- a/src/InterpreterUtils.ml +++ b/src/InterpreterUtils.ml @@ -151,9 +151,6 @@ exception FoundGBorrowContent of g_borrow_content exception FoundGLoanContent of g_loan_content (** Utility exception *) -exception FoundSymbolicValue of V.symbolic_value -(** Utility exception *) - exception FoundAProjBorrows of V.symbolic_value * T.rty (** Utility exception *) |