From 4b012187df7c66bef2300252058f27ac79337325 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 24 Mar 2022 10:04:47 +0000 Subject: Rename lit directory --- src/hls/RTLBlock.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/hls/RTLBlock.v') diff --git a/src/hls/RTLBlock.v b/src/hls/RTLBlock.v index 539d5bc..50bff90 100644 --- a/src/hls/RTLBlock.v +++ b/src/hls/RTLBlock.v @@ -16,7 +16,7 @@ * along with this program. If not, see . *) -(* [[file:../../lit/scheduler-languages.org::rtlblock-main][rtlblock-main]] *) +(* [[file:../../docs/scheduler-languages.org::rtlblock-main][rtlblock-main]] *) Require Import compcert.backend.Registers. Require Import compcert.common.AST. Require Import compcert.common.Events. -- cgit