From 89a6daf2a11e0dddd4a097443c87e28c9c84f29f Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Wed, 18 Feb 2015 00:57:15 +0100 Subject: Revert "update for rename of open_issues/code_analysis.mdwn to service_solahart_jakarta_selatan__082122541663/code_analysis.mdwn" This reverts commit fbfe8a7f701942af68a43523eb860b384f0f286e. --- service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn b/service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn index 86966f22..57e6effd 100644 --- a/service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn +++ b/service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn @@ -16,7 +16,7 @@ Especially in the field of [[DSL]]s, this is used for asserting program codes' correctness, as explained in {{$microkernel/barrelfish#fof_plos09}}, for example. -See also [[service_solahart_jakarta_selatan__082122541663/code_analysis]]. +See also [[code_analysis]]. [[!toc]] -- cgit v1.2.3